wikimedia/mediawiki-extensions-TitleBlacklist
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/TitleBlacklist synced 2024-11-28 07:50:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
1082 commits 11 branches 25 tags 9.3 MiB
Commit graph

5 commits

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