MediaWiki:Gadget-externalsearch-bar

Small dropdown in the search bar to use the Wikimedia technical search.