Manual:PageExists.php/fr

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.



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

Exit status = 0  means the page exists

Exit status = 1  means the page does NOT exist.

