wikimedia/mediawiki-extensions-Description2
1
0
Fork 1
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Description2 synced 2024-11-23 22:33:34 +00:00
Code Issues Packages Projects Releases Wiki Activity
148 commits 26 branches 0 tags 3.1 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
Umherirrender f27a3cc159 build: Add php-parallel-lint and MinusX 
php-lint will test for valid php files
MinusX will test for executable bits

Change-Id: I2dfeb4eb2fba609f0d8677eef94551fd77fffb41
 2017-11-03 18:34:06 +01:00
Paladox 522612dd92 Add npm entry point 
Change-Id: Ibf52aaad3924f741a2ed44bd03193705f7b85233
 2016-03-24 23:16:34 +00:00