wikimedia/mediawiki-extensions-RSS
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RSS synced 2024-11-24 07:43:56 +00:00
Code Issues Packages Projects Releases Wiki Activity
441 commits 283 branches 0 tags 5 MiB
Commit graph

5 commits

Author SHA1 Message Date
libraryupgrader 0755b6c2a0 build: Updating mkdirp to 0.5.3 
* https://npmjs.com/advisories/1179

Additional changes:
* Enable eslint caching.

Change-Id: Ic23a9abb7647616eecdfe0c22fa39b7f0979cac5
 2020-03-21 05:53:53 +00:00
zoranzoki21 dce083ed33 build: Replace jshint/jsonlint with eslint 
Bug: TT195542
Change-Id: Ica7b0a1ac532bf39868edce1cdba2e73fd55c6a9
 2020-03-15 11:06:39 +01:00
Umherirrender 336e518c42 build: Always exclude vendor and node_modules 
Change-Id: Ic48b06dc47b2de97e2d548032064b1fb30b2b94e
 2017-11-12 00:33:21 +01:00
Antoine Musso ec39acf91c build: add grunt-contrib-jshint 
See T119973

Change-Id: I00465596a3e26f9bc7c7018a86d73bd381c282fb
 2017-04-21 18:24:05 +02:00
Kunal Mehta 720b894591 build: Configure banana-checker and jsonlint 
Change-Id: Ic62cf36d28c556cb74c89b6deeef49c1fd7324ff
 2015-06-19 22:12:20 -07:00