MediaWiki extension to add Google as a search engine