Manual:pageExists.php

From MediaWiki.org
Jump to navigation Jump to search
This page is a translated version of the page Manual:PageExists.php and the translation is 73% complete.
Other languages:
English • ‎español • ‎magyar • ‎polski • ‎日本語

詳細

MediaWiki バージョン: 1.24
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 "ページ名"

パラメーター

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