Manual:GenerateJsonI18n.php/fr

Détails
generateJsonI18n.php file is a maintenance script to generate JSON-formatted i18n files from legacy PHP array-based mediawiki i18n files.

Utilisation
php maintenance/generateJsonI18n.php phpfile jsondir

où :


 * phpfile - PHP file defining a $messages array. Required unless  is provided.
 * jsondir - répertoire pour stocker les fichiers JSON. Par défaut :.

Exemple
Alternate way for extensions, since : This example performs the default conversions in, replacing the   file with a backwards-compatibility shim and porting messages to the   directory.

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
 * Update your extension's entry file to add ;
 * Validez-le dans Gerrit si l'extension y est hébergée
 * Ajoutez Siebrand et Raimond comme relecteurs si l'extension est traduite via translatewiki.net
 * Attendez la relecture et tout devrait se passer correctement

Voir aussi

 * Requests for comment/Localisation format for background