This page is a translated version of the page Manual:PageExists.php and the translation is 64% complete.
Other languages:


MediaWiki バージョン:
Gerrit change 132695

pageExists.php file is a maintenance script to report whether a page with a specific title exists. It will print out the result to standard output with a meaningful text, and will set the exit status of the script to 0 if the page exists.


php maintenance/pageExists.php "ページ名"

Example echoing the exit status:

php maintenance/pageExists.php "page title" ; echo "Exit Status" $?
Exit status = 0   means the page exists
Exit status = 1   means the page does NOT exist.


オプション/パラメーター 説明
ページ名 checks whether the page exists