Manual:UpdateSearchIndex.php

updateSearchIndex.php is a maintenance script used for periodic off-peak updating of the search index for the recently changed pages.

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

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