wikimedia/mediawiki-extensions-Math
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Math synced 2024-11-24 15:44:33 +00:00
Code Issues Packages Projects Releases Wiki Activity
1707 commits 172 branches 0 tags 86 MiB
Commit graph

4 commits

Author SHA1 Message Date
Translation updater bot 96716ed27f Localisation updates from https://translatewiki.net. 
Change-Id: Ib815dfb5a6bdef36c58bf83156670660880db679
 2018-06-21 22:42:36 +02:00
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