MediaWiki:Gadget-ExternalSearch

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