wikimedia/mediawiki-extensions-Math
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Math synced 2024-11-12 01:08:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
1452 commits 170 branches 0 tags 86 MiB
Commit graph

2 commits

Author SHA1 Message Date
Umherirrender 317df66119 Use tabs to indent in json 
Change-Id: I60c586418679fd5709aef4b9e23e814c45dfb35b
 2017-03-31 23:47:20 +02:00
Siebrand Mazeland 5cbbd0c807 Migrate to JSON i18n 
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: Ifcaf0e8516cd92587fc5e51a580a53f4158cdb6e
 2014-03-28 11:06:06 +01:00