Manual:PageExists.php/zh

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 21% complete.
Other languages:
English • ‎español • ‎français • ‎magyar • ‎polski • ‎中文 • ‎日本語

Details

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.

Usage

php maintenance/pageExists.php "page title"

示例

重复退出状态示例:

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

Parameters

Option/Parameter Description
Page title checks whether the page exists