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

4 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
Umherirrender 039d2cd82a build: Add php-parallel-lint and MinusX 
php-lint will test for valid php files
MinusX will test for executable bits

Change-Id: I29038a499eb83d2ea0bad6a8c23c739964d86087
 2017-11-03 19:48:45 +01:00
Antoine Musso 096c8c80d3 git ignore node_modules 
Change-Id: I6711c9efb32bfade151732ef0627abea52261ff4
 2017-08-01 18:15:11 +02:00
Reedy a1af4e7065 Add .gitreview and .gitignore 
Change-Id: I0d974de192a52b622538f13ab69930929ce9ea33
 2012-11-21 16:34:31 +00:00