Translations:Localisation file format/42/fr

Pour migrer de PHP en JSON utilisez le script generateJsonI18n.php.