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é
If your extension has not been converted already.


 * Make sure you have the latest code
 * Create the  directory
 * Exécutez le script
 * Update your extension's entry file to add ;
 * Commit it to gerrit if the extension is hosted there
 * Add Siebrand and Raimond as reviewers if the extension is translated in translatewiki.net
 * Wait for review and all should go smoothly

Voir aussi

 * Requests for comment/Localisation format for background