MediaWiki:Gadget-widensearch

Widen the search box