wikimedia/mediawiki-extensions-Math
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Math synced 2024-11-28 09:20:42 +00:00
Code Issues Packages Projects Releases Wiki Activity
1512 commits 20 branches 20 tags 88 MiB
Commit graph

3 commits

Author SHA1 Message Date
Translation updater bot a5ec95e56b Localisation updates from https://translatewiki.net. 
Change-Id: I4eb59bfd49d92fe5d87d563141247eba86765152
 2017-12-05 09:41:07 +01:00
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