Manuel:pageExists.php

This page is a translated version of the page Manual:PageExists.php and the translation is 100% complete.
Version de MediaWiki :
1.24
Gerrit change 132695

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


Exemple d'affichage de l'état de sortie :

Terminal

Exit status = 0 means the page exists

Exit status = 1 means the page does NOT exist.

Voir aussi