MediaWiki:Gadget-externalsearch
External Search: Add a selector to the search page allowing to use the Wikipedia:Wikimedia technical search.
External Search: Add a selector to the search page allowing to use the Wikipedia:Wikimedia technical search.