wikimedia/mediawiki-extensions-Editcount
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Editcount synced 2024-11-27 17:50:50 +00:00
Code Issues Packages Projects Releases Wiki Activity
562 commits 25 branches 0 tags 5.1 MiB
Commit graph

3 commits

Author SHA1 Message Date
Umherirrender 0295fa556a build: Replace jsonlint with eslint 
Bug: T220036
Change-Id: Icce53006c311bf7201d4b69665b9edca81f173c5
 2021-02-16 08:42:10 +01:00
Siebrand Mazeland 05613d2fe3 Update indentation to use tabs 
Change-Id: I157b17a4027652e17f807e275ac4670e451bdbd5
 2015-10-12 09:39:33 +02:00
Siebrand Mazeland f5818b0233 Migrate to JSON i18n 
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: Ic3ecc7a5d0c115b50ee094755eec95d2b93ae7be
 2014-03-31 14:37:42 +02:00