Thread:Project:Support desk/Mediawiki search box/reply

The search box in the top-right corner? That's part of Vector, I think.