User talk:Pascal

From Event-B
Jump to: navigation, search

Google Search Extension

Carine, I feel the change of search engine is good. However, by using googlesearch, we depend of the google crawl frequency. For example, the lats 5 days change are not indexed, as you can see at the top of google cache page. mathieu 16:05, 21 September 2009 (UTC)

Search extensions

The default search function of the Wiki often did not get a result, and that's why the WP9 partners have asked the system administrator to install a search enhancement extension for Mediawiki.

Some extensions are built on top of the Wiki (see Extension:RigorousSearch), some replace the search method (see LuceneSearch or SphinxSearch), and some simply use Google (see GoogleSiteSearch).

The Google Site Search seemed to be a good compromise, because of its well-known search syntax, and because it gives accurate search results.

Which extension would you suggest?

--cpascal 16:44, 21 September 2009 (UTC)

I guess Extension:SphinxSearch or Extension:EzMwLucene will do the trick, but I understand that there are more of a burden to install. So perhaps we should wait a bit and monitor the delay between google update and see it it is acceptable or not... I'll do some stats about it and keep you informed of the results. mathieu 19:47, 21 September 2009 (UTC)
I've added some quick stats on my talk page. mathieu 08:41, 22 September 2009 (UTC)