MediaWiki:Gadget-externalsearch

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