wikimedia/mediawiki-extensions-Interwiki
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Interwiki synced 2024-12-11 22:16:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
1613 commits 14 branches 25 tags 13 MiB
Commit graph

551 commits

Author SHA1 Message Date
Siebrand Mazeland 380f9ba26f Migrate to JSON i18n 
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: I5a2a9556e5b35000b2be0338f9f0e883eb2a56cb
 2014-03-27 11:54:53 +01:00