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 |
