Manual:updateSearchIndex.php

MediaWiki ファイル: updateSearchIndex.php
場所:	maintenance/
ソース コード:	master • 1.42.3 • 1.41.4 • 1.39.10
クラス:	UpdateSearchIndex

updateSearchIndex.php is a maintenance script used for periodic off-peak updating of the search index for the recently changed pages. If you need to rebuild the search index entirely, run rebuildtextindex.php instead.

起動

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

例

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

Write permissions

The script will write the end timestamp on the file specified by the -p parameter, that will default to searchUpdate.WIKI_ID.pos. The script will fail if the user executing the command doesn't have permissions to write to that file. To prevent the error, specify a file with write permissions, or create the file yourself and give it the appropriate permissions.

注記

• It will not update the search index for the pages that do not appear in Special:Recentchanges.

• This script ignores the $wgDisableSearchUpdate setting.