Manual:GenerateJsonI18n.php/ja

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

使用法
php maintenance/generateJsonI18n.php phpfile jsondir

where:


 * phpfile - PHP file defining a $messages array. Required unless  is provided.
 * jsondir - directory to write the JSON files to. Will default to.

例
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.

Suggested migration process
If your extension has not been converted already.


 * Make sure you have the latest code
 * Create the  directory
 * Run the 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

関連項目

 * Requests for comment/Localisation format for background