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