Translations:Manual:GetText.php/3/fr

Le fichier $file est un script de maintenance qui envoie le contenu d'une page donnée (wikicode) vers stdout.