wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-09-25 03:09:14 +00:00
Code Issues Packages Projects Releases Wiki Activity
1178 commits 271 branches 0 tags 63 MiB
Commit graph

3 commits

Author SHA1 Message Date
Antoine Musso 9ac903dd84 build: add jakub-onderka/php-console-highlighter 
Highlight PHP code when parallel-lint fails

Change-Id: Ie7582baa805457a0445a119bfd5fb859f693e51f
 2017-05-05 21:51:43 +02:00
Kunal Mehta 47d80e06fc build: Updating development dependencies 
* jakub-onderka/php-parallel-lint: 0.9 → 0.9.2

Change-Id: Ic8fe9acb86de613c795ed0f60e4291f71722b85e
 2016-01-05 10:39:25 -08:00
Paladox a087ea3334 Add composer.json 
Test entry point for CI. Just composer install && composer test

This can later on let us easily add support for PHP CodeSniffer.

Also normalized /.gitignore

Signed-off-by: Antoine Musso <hashar@free.fr>
Change-Id: I827d29abedb32e59627fcdaf0a90815fe52efd20
 2015-11-19 14:30:20 +01:00