MediaWiki:gadget-ExternalSearch

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