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
1627 commits 164 branches 5 tags 21 MiB
Commit graph

6 commits

Author SHA1 Message Date
James D. Forrester 806a0dc021 build: Upgrade eslint-config-wikimedia 0.12.0, drop grunt-jsonlint 
Change-Id: Ic2eff9bbfef7feacaafb0b909b016e79c46fb2da
 2019-05-06 16:00:34 -07:00
James D. Forrester 0d517c55f7 build: Upgrade eslint-config-wikimedia from 0.10.1 to 0.11.0 
Change-Id: I46f75d3a0da7e59a1763cba52c941549c6c32409
 2019-04-03 16:02:11 -07:00
Ed Sanders d0b9ed9167 build: Update devDependencies 
Change-Id: I9f60c53af58575a2c39afe35c7ec443923519965
 2019-02-10 15:53:26 +00:00
Ed Sanders 696051142d build: jshint -> eslint 
Change-Id: Ifb33021326bfe6d2fafc80afbace9f593a35ca39
 2018-11-12 14:30:52 +00: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 a6b1a9c5e6 build: Configure banana-checker and jsonlint 
Change-Id: If8853a6c49398d5769f2b20bd5d81c83f25f0b74
 2015-06-17 19:52:25 +01:00