Extension:GoogleSiteSearch

From Event-B
Revision as of 09:09, 15 September 2009 by imported>Pascal (→‎Creation)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

This extension replaces the built-in MediaWiki search functionality with Google Site Search results. Results are nearly seamless; go/search logic works as expected ("Go" goes directly to an article if it exists, searches otherwise. "Search" always searches.).