Manual:pageExists.php
| MediaWiki file: pageExists.php | |
|---|---|
| Location: | maintenance/ |
| Source code: | master • 1.42.3 • 1.41.4 • 1.39.10 |
| Classes: | PageExists |
Details
| MediaWiki version: | 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"
Parameters
| Option/Parameter | Description |
|---|---|
| Page title | checks whether the page exists |
[[Category:Maintenance scriptsTemplate:Translation]]