Podręcznik:PageExists.php
Jump to navigation
Jump to search
Plik MediaWiki: pageExists.php | |
---|---|
Lokalizacja: | maintenance/ |
Kod źródłowy: | master • 1.33.1 • 1.32.5 • 1.31.5 |
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"
Parametry
Opcja/Parametr | Opis |
---|---|
Page title | sprawdza czy strona istnieje |