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

2 commits

Author SHA1 Message Date
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