wikimedia/mediawiki-extensions-RSS
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RSS synced 2024-11-24 15:54:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
383 commits 283 branches 0 tags 5.2 MiB
Commit graph

3 commits

Author SHA1 Message Date
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