Manual:GenerateJsonI18n.php/de-formal

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

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

Example
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