wikimedia/mediawiki-extensions-TitleBlacklist
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/TitleBlacklist synced 2024-11-24 06:04:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
1163 commits 283 branches 5 tags 8.9 MiB
Commit graph

6 commits

Author SHA1 Message Date
libraryupgrader 3a1d878459 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: I602048eb1a657d67b566f4212b4db91ae76a0627
 2020-01-08 16:33:03 +00:00
James D. Forrester a2b9eda54b build: Upgrade eslint-config-wikimedia 0.12.0, drop grunt-jsonlint 
Change-Id: Ib22e621da6791a713a04a92ebdae8adc22386112
 2019-05-07 11:06:43 -07:00
Ed Sanders ccf77bdddb Replace jshint with eslint 
Change-Id: I34d56f7e6c8efe4b9bb1efebd2e8bfce35d6afb7
 2018-12-05 17:02:53 -05:00
Umherirrender 86f3181a93 build: Always exclude vendor 
Change-Id: Id1d463865e84e52068749b6a66140ed34d96fc3c
 2017-11-08 17:55:28 +01:00
Antoine Musso 54512c51e6 build: add grunt-contrib-jshint 
See T119973

Change-Id: I62b23c8bd9dabc07bbb6b74bf9cdf4d44312cf34
 2017-04-21 18:24:05 +02:00
Kunal Mehta d0cc7ced03 build: Configure banana-checker and jsonlint 
Change-Id: I3fec2dd2a18fa5a7cdeef1b1e0a03ee11f2efe18
 2015-06-19 22:31:17 -07:00