Last modified: 2008-08-20 20:54:45 UTC
In the interest of providing usable search results (which the AJAX search feature slightly helps with), make the "Search" button go to Google site search until mediawiki's search doesn't suck.
This wouldn't work. Google doesn't index every page on every part of our site, so it's not a suitable full replacement for MediaWiki's search (especially now that the __NOINDEX__ feature is active). Marking WONTFIX.
I am told that there's another search engine that doesn't index every part of your site: MediaWiki search. And I'm not referring to __NOINDEX__.