Manuel:pageExists.php
| Version de MediaWiki : | ≥ 1.24 Gerrit change 132695 |
| Fichier MediaWiki : pageExists.php | |
|---|---|
| Emplacement : | maintenance/ |
| Code source : | master • 1.42.3 • 1.41.4 • 1.39.10 |
| Classes : | PageExists |
Détails
Le fichier pageExists.php est un script de maintenance qui dit si une page avec un nom donné existe. Il affichera le résultat dans l'entrée standard avec un texte explicite, et mettra le statut de sortie du script à 0 si la page existe.
Ce script est très utile pour bash et d'autres langages de scriptage où il faut travailler avec les codes de statut de sortie.
Options et arguments
| Argument | Description | Nécessaire ? |
|---|---|---|
| <Titre de la page> | Titre de page à vérifier | obligatoire |
Utilisation
php maintenance/pageExists.php "titre de page"
Terminal
$ php maintenance/pageExists.php "Main Page" Main Page exists.
Exemple d'affichage de l'état de sortie :
Terminal
$ php maintenance/pageExists.php "Main Page" ; echo "Exit Status" $? Main Page exists. Exit Status 0
Exit status = 0 means the page exists
Exit status = 1 means the page does NOT exist.