Translations:Localisation file format/42/en

To migrate from PHP to JSON use the generateJsonI18n.php script.