Toby Bartels wrote:
Daniel Mayer wrote:
So I guess I'm advocating for a "Search {ProjectName} from Google" radio button right under the MediaWiki search form. The default of the toggle would be to use MediaWiki's own search functionality so long as the database server isn't bogged down.
This seems obviously correct to me. /Given/ that some people want to use Google, that is (I would prefer the in-house search in almost all cases myself).
That would be my preference too. Would it be a good idea to make the in-house search available to registered users? The Google search is likely adequate for people who have only a read-only interest in Wikipedia.
Ec