Manual:GetText.php/fr

Détails
Le fichier $file est un script de maintenance qui envoie le contenu d'une page donnée (wikicode) vers stdout. Il peut être utilisé pour être analysé par un script par exemple.

Advanced usage
S'il contient des caractères espaces, il doit être mis entre guillemets (") comme indiqué dans l'exemple.