Manual:PageExists.php/de-formal

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.

Usage
Example echoing the exit status:

Exit status = 0  means the page exists

Exit status = 1  means the page does NOT exist.