wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-11-30 16:54:18 +00:00
Code Issues Packages Projects Releases Wiki Activity
7440 commits 11 branches 20 tags 106 MiB
Commit graph

3 commits

Author SHA1 Message Date
Ed Sanders 3d23de9893 build: Update linters 
Change-Id: Ieb7a2999a7f75697cc866ff29ec9707bdc9618db
 2023-11-08 14:05:03 +00:00
James D. Forrester 72cf4e6261 build: Bump devDependencies to latest 
grunt                       1.0.1  →  1.0.2
 grunt-banana-checker        0.5.0  →  0.6.0
 grunt-jsonlint              1.0.7  →  1.1.0
 grunt-stylelint             0.6.0  →  0.9.0
 stylelint                   7.8.0  →  8.2.0
 stylelint-config-wikimedia  0.4.1  →  0.4.2

Change-Id: Iad57f3b5020525fa6821e9316a1186fd931583d3
 2018-02-10 21:00:53 +00:00
Umherirrender dbd7a04966 Use json extension for .stylelintrc 
Bug: T173516
Change-Id: I3720b53efa634dcb5fbe327e8644e67806b4413b
 2017-08-19 08:52:42 +02:00
Renamed from .stylelintrc (Browse further)