Manuel:UpdateSearchIndex.php

Fichier MediaWiki : updateSearchIndex.php
Emplacement :	maintenance/
Code source :	master • 1.41.1 • 1.40.3 • 1.39.7
Classes :	UpdateSearchIndex

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/updateSearchIndex.php [-s start-timestamp] [-e end-timestamp] [-p posfile] [-l locktime] [-q]

Exemple

$ php maintenance/updateSearchIndex.php -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

• Il ne met pas à jour l'index de recherche des pages qui ne figurent pas dans Special:Recentchanges.
• Ce script ignore la valeur de $wgDisableSearchUpdate .