wikimedia/mediawiki-extensions-Interwiki
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Interwiki synced 2024-11-23 22:13:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
1493 commits 285 branches 5 tags 12 MiB
Commit graph

2 commits

Author SHA1 Message Date
James D. Forrester 4fa864ee2e build: Bump devDependencies to latest 
grunt                        1.0.1  →  1.0.2
 grunt-banana-checker         0.4.0  →  0.6.0
 grunt-contrib-jshint        0.11.3  →  1.1.0
 grunt-jscs                   2.1.0  →  2.3.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: I58d76a02b5b6ce524f9261880340377120e01203
 2018-02-23 17:55:00 -08:00
Umherirrender 228f141ca5 Use json extension for .stylelintrc 
Bug: T173516
Change-Id: Ie866b9112eed033a16f74f0ae2c82dc3e3ea769e
 2017-08-19 09:49:58 +02:00
Renamed from .stylelintrc (Browse further)