wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-15 11:31:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
1322 commits 164 branches 5 tags 21 MiB
Commit graph

2 commits

Author SHA1 Message Date
Kunal Mehta e794e3e232 build: Updating development dependencies 
* jakub-onderka/php-parallel-lint: 0.9 → 0.9.2

Change-Id: If38d84062257bc63120417711b376197e3634262
 2016-01-05 10:35:01 -08:00
paladox 11a683dd07 Update Jenkins tests 
Run jshint through npm instead.

Also add composer.json to run phplint and in future run the php code sniffer.

Signed-off-by: Antoine Musso <hashar@free.fr>
Change-Id: I1797ac2bce1936ed75da76618f28fc239b60001b
 2015-11-19 15:19:35 +01:00