MediaWiki:Gadget-ExternalSearch

Add a selector to the Wikipedia search page allowing the use of external search engines.