wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-12 09:09:25 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../bin
History
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
..
buildi18n-json.sh Add JSON->PHP conversion script for i18n 2013-12-12 13:48:05 -08:00
buildi18n-php.php Add JSON->PHP conversion script for i18n 2013-12-12 13:48:05 -08:00
generateDocs.sh
msgs-oojs-ui Convert all i18n to JSON blobs 2013-12-09 10:52:01 -08:00
msgs-ve Add missing specialcharacters messages to JSON blobs 2013-12-09 13:19:17 -08:00
msgs-ve-mw Convert all i18n to JSON blobs 2013-12-09 10:52:01 -08:00
msgs-ve-wmf Convert all i18n to JSON blobs 2013-12-09 10:52:01 -08:00
updateStaticLoaders.sh