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
mediawiki-extensions-Gadgets/.jshintignore

3 lines
20 B
Plaintext
Raw Normal View History

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-16 19:26:56 +00:00
node_modules
vendor
Reference in a new issue Copy permalink