Manual:PageExists.php/de
| MediaWiki Version: | ≥ 1.24 Gerrit change 132695 |
| MediaWiki-Datei: pageExists.php | |
|---|---|
| Speicherort: | maintenance/ |
| Quellcode: | master • 1.42.3 • 1.41.4 • 1.39.10 |
| Klassen: | PageExists |
Details
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.
This script is very useful for bash and other scripting languages where we need to work with exit status code.
Optionen/Argumente
| Argument | Beschreibung | Notwendig? |
|---|---|---|
| <Page title> | Page title to be checked | Notwendig |
Verwendung
php maintenance/pageExists.php "page title"
Terminal
$ php maintenance/pageExists.php "Main Page" Main Page exists.
Example echoing the exit status:
Terminal
$ php maintenance/pageExists.php "Main Page" ; echo "Exit Status" $? Main Page exists. Exit Status 0
Exit status = 0 means the page exists
Exit status = 1 means the page does NOT exist.