wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 02:23:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
6299 commits 161 branches 1 tag 190 MiB
Commit graph

1 commit

Author SHA1 Message Date
Roan Kattouw 789d187ce5 Add JSON->PHP conversion script for i18n 
Apparently the .i18n.php shim is causing problems in both production
and beta labs, so for now we'll just generate the .i18n.php file
from the JSON files.

The first half of the conversion script is identical to the shim.

Change-Id: Id606584197d7efcff6fff29ea22cd35dd744b55e
 2013-12-12 13:48:05 -08:00