MediaWiki:Gadget-externalsearch

External Search: Add a selector to the search page allowing to use the Wikimedia technical search (those searches are processed using Google CustomSearch, subject to Google's Privacy Policy).