wikimedia/mediawiki-extensions-TextExtracts
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/TextExtracts synced 2024-11-15 03:35:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
232 commits 278 branches 0 tags 5.2 MiB
Commit graph

4 commits

Author SHA1 Message Date
Umherirrender e60c111566 build: Always exclude vendor and node_modules 
Change-Id: I4360de1ed97a3bbb89a611fc566ba2e89c1def37
 2017-11-12 00:40:18 +01:00
Ed Sanders 2969f18872 build: Upgrade linters 
Change-Id: Ie377edfccd078e08a1cdb5c9e021a4b96a41599b
 2017-10-09 15:29:26 +01:00
Antoine Musso e31cf4734c build: add grunt-contrib-jshint 
See T119973

Change-Id: Ie909a16ea605beb66363453e5adccefa42b6a674
 2017-04-21 18:24:05 +02:00
Kunal Mehta 9a27b49107 build: Configure banana-checker and jsonlint 
Change-Id: I89b3081c9aa7ae89e8a38f0c339f7a2a091278c9
 2015-06-19 22:28:08 -07:00