Manual:GenerateJsonI18n.php/fr

Détails
Le fichier generateJsonI18n.php est un script de maintenance qui génère les fichiers i18n au format JSON à partir des anciens fichiers i18n MediaWiki basés sur les tableaux PHP.

Utilisation
php maintenance/generateJsonI18n.php phpfile jsondir

où :


 * phpfile - fichier PHP définissant un tableau $messages. Nécessaire sauf si  est fourni.
 * jsondir - répertoire pour stocker les fichiers JSON. Par défaut :.



Exemple
Manière alternative pour les extensions, depuis : cet exemple réalise les conversions par défaut dans, en remplaçant le fichier   à l'aide d'un convertisseur (shim) de compatibilté arrière et en portant les messages dans le répertoire.



Processus de migration suggéré
Si votre extension n'a pas encore été convertie.


 * Assurez-vous d'avoir le dernier code
 * Créez le répertoire
 * Exécutez le script
 * Mettez à jour le fichier de votre entrée d'extension en ajoutant ;
 * Validez-le dans Gerrit si l'extension y est hébergée
 * Ajoutez les utilisateurs Siebrand et Raimond comme relecteurs si l'extension est traduite via translatewiki.net
 * Attendez la relecture et tout devrait se passer correctement



Voir aussi

 * Demande de commentaire/Format de localisation (RFC) pour le contexte