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
640 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
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
Paladox 8c7619269d Add npm entry point 
Change-Id: Ie082c888d57d10e9d6bc8114020d6a5e9ce81b0b
 2016-03-08 23:07:57 +00:00