Translations:Manual:GenerateJsonI18n.php/2/en

$file file is a maintenance script to generate JSON-formatted i18n files from legacy PHP array-based mediawiki i18n files.