wikimedia/mediawiki-extensions-Description2
1
0
Fork 1
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Description2 synced 2024-12-19 17:51:50 +00:00
Code Issues Packages Projects Releases Wiki Activity
144 commits 26 branches 0 tags 3.2 MiB
Commit graph

3 commits

Author SHA1 Message Date
Umherirrender 3c124d97bb build: Replace jsonlint with eslint 
Bug: T220036
Change-Id: I1651fbf89286442b392e6fe90899756705667f04
 2021-02-15 20:27:55 +01:00
Siebrand Mazeland 13dc549db0 Update indentation to use tabs 
Change-Id: I66bcf398be89802affded41d15c9f78555e45075
 2015-10-12 09:35:22 +02:00
Siebrand Mazeland 6f36720d31 Migrate to JSON i18n 
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: I42758512ddcd921141abefa7134b967a91732f70
 2014-03-31 09:50:05 +02:00