wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-12-03 12:36:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
2249 commits 12 branches 25 tags 20 MiB
Commit graph

53 commits

Author SHA1 Message Date
Umherirrender 8e4bff8976 Add phpcs and make pass 
Change-Id: I52845fc95b53eca5149a947dfc6a1b39100da97b
 2017-05-30 20:23:16 +02:00
Antoine Musso d90a12fb11 build: add jakub-onderka/php-console-highlighter 
Highlight PHP code when parallel-lint fails

Change-Id: Ie7582baa805457a0445a119bfd5fb859f693e51f
 2017-05-05 21:40:00 +02:00
Umherirrender fcb718999f Add php-parallel-lint 
php-lint will test for valid php files

Change-Id: I10de9ae4569585aa190bac4bb71bfa80d81406f8
 2017-05-04 20:08:53 +02:00