wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-12-24 12:43:04 +00:00
Code Issues Packages Projects Releases Wiki Activity
1457 commits 15 branches 25 tags 23 MiB
Commit graph

5 commits

Author SHA1 Message Date
Antoine Musso 65a3f2205e build: bump grunt and drop grunt-cli 
grunt 1.x now includes a CLI command, hence grunt-cli is no more needed.

Change-Id: I94f0c66236b5f0f12220741276c7fe24a89c65e0
 2017-08-01 10:45:31 +02:00
Kunal Mehta 597299bc45 build: Updating development dependencies 
* grunt-jsonlint: 1.0.6 → 1.0.7

Change-Id: If699d7e782e9d31c7e05c9e6018a4374d5ffbf6b
 2015-12-29 11:28:59 -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
Kunal Mehta 2cf23fd689 build: Updating development dependencies 
* grunt-banana-checker: 0.2.2 → 0.4.0

Change-Id: If4a2a5c9fa909886160d84bb33a274c5bf1b1a5a
 2015-10-11 11:45:25 -04:00
Kunal Mehta a6b1a9c5e6 build: Configure banana-checker and jsonlint 
Change-Id: If8853a6c49398d5769f2b20bd5d81c83f25f0b74
 2015-06-17 19:52:25 +01:00