Manual:UpdateSearchIndex.php/fr

Category:MediaWiki code/fr#UpdateSearchIndex.php

updateSearchIndex.php est un script de maintenance utilisé pour la mise à jour hors pics de l'index de recherche des pages modifiées récemment. Si vous devez reconstruire l'index de recherche entièrement, exécutez rebuildtextindex.php à la place.

Appel

php maintenance/run.php updateSearchIndex [-s start-timestamp] [-e end-timestamp] [-p posfile] [-l locktime] [-q]

Exemple

$ php maintenance/run.php updateSearchIndex -s 20081020224040
Updating searchindex between 20081020224040 and 20091209103945
   --- Waiting for lock ---
    --- Unlocking --
Done

Droits d'écriture

Le script écrira l'horodatage de fin sur le fichier spécifié par le paramètre -p, dont la valeur par défaut est searchUpdate.WIKI_ID.pos. Le script échouera si l'utilisateur qui exécute la commande ne possède pas les droits pour écrire dans ce fichier. Pour empêcher l'erreur, utilisez un fichier sur lequel vous avez les droits en écriture, ou créez le fichier vous-même et attribuez-lui les droits nécessaires.

Notes

Category:Maintenance scripts/fr#UpdateSearchIndex.php
Category:Maintenance scripts/fr Category:MediaWiki code/fr