From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Pascal |
|
| Line 1: |
Line 1: |
| − | == 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 [http://209.85.229.132/search?hl=en&client=firefox-a&rls=org.mozilla%3Aen-US%3Aofficial&hs=dol&q=cache%3Ahttp%3A%2F%2Fwiki.event-b.org%2Findex.php%2FMain_Page&aq=f&oq=&aqi= google cache page]. [[User:Mathieu|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 parterns have asked the system administrator to install a search enhancement [http://www.mediawiki.org/wiki/Category:Search_extensions 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?
| |
| − |
| |
| − | --[[User:Pascal|cpascal]] 16:44, 21 September 2009 (UTC)
| |
Latest revision as of 20:50, 30 April 2020
