wikimedia/mediawiki-extensions-ImageMap
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ImageMap synced 2024-11-24 06:13:39 +00:00
Code Issues Packages Projects Releases Wiki Activity
695 commits 283 branches 5 tags 6.6 MiB
Commit graph

6 commits

Author SHA1 Message Date
libraryupgrader bebe23cf97 build: Updating npm dependencies 
* grunt-eslint: 21.0.0 → 22.0.0
* eslint-config-wikimedia: 0.12.0 → 0.15.0

Additional changes:
* Removing manual reportUnusedDisableDirectives for eslint.

Change-Id: I78ad86df1fff32fd401be82e76e99c0659c24c5a
 2020-01-09 15:09:19 +00:00
James D. Forrester fd9ffc3341 build: Upgrade eslint-config-wikimedia 0.12.0, drop grunt-jsonlint 
Change-Id: I0cd5446441358c52844ce556cbdad00520c173fa
 2019-05-06 16:19:30 -07:00
James D. Forrester 164bb62246 build: Install eslint 
Change-Id: I3d2aed1e6cd8935e151e0ae2175b1283b4a408b0
 2019-05-06 16:18:51 -07:00
Umherirrender 0b1325bc4b build: Always exclude vendor and node_modules 
Change-Id: I8018552eb5e44961c0ae0851c9fa075a70525405
 2017-11-11 23:49:43 +01:00
Antoine Musso c6e0dd166b build: add grunt-contrib-jshint 
See T119973

Change-Id: If6ac925b21703585625bb2556c5712bf6d9e016c
 2017-04-21 18:24:02 +02:00
Kunal Mehta 743b4c4b57 build: Configure banana-checker and jsonlint 
Change-Id: I1cbf23eb3aea2404e664071bef5ede7467869b2a
 2015-06-17 12:10:43 -07:00