Podręcznik:PageExists.php

Plik MediaWiki: pageExists.php
Lokalizacja:	maintenance/
Kod źródłowy:	master • 1.35.0 • 1.34.4 • 1.31.10
Klasy:	PageExists

Szczegóły

Wersja 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.

Użycie

php maintenance/pageExists.php "page title"

Example

Example echoing the exit status:

php maintenance/pageExists.php "page title" ; echo "Exit Status" $?

Exit status = 0   means the page exists
Exit status = 1   means the page does NOT exist.

Parametry

Opcja/Parametr	Opis
Page title	sprawdza czy strona istnieje