Difference between revisions of "User talk:Pascal"

From Event-B
Jump to navigationJump to search
imported>Pascal
imported>Mathieu
m (ome quick stats on my talk page)
 
(One intermediate revision by the same user not shown)
Line 13: Line 13:
  
 
--[[User:Pascal|cpascal]] 16:44, 21 September 2009 (UTC)
 
--[[User:Pascal|cpascal]] 16:44, 21 September 2009 (UTC)
 +
: I guess [http://www.mediawiki.org/wiki/Extension:SphinxSearch Extension:SphinxSearch] or [http://www.mediawiki.org/wiki/Extension:EzMwLucene 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. [[User:Mathieu|mathieu]] 19:47, 21 September 2009 (UTC)
 +
: I've added some quick stats on my [[User_talk:Mathieu#Statistics_about_google_search_index|talk page]]. [[User:Mathieu|mathieu]] 08:41, 22 September 2009 (UTC)

Latest revision as of 08:41, 22 September 2009

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)