MediaWiki:Gadget-externalsearch

Add a selector to the search page allowing to use the Wikimedia technical search.