wikimedia/mediawiki-extensions-RelatedArticles
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RelatedArticles synced 2024-11-27 17:50:25 +00:00
Code Issues Packages Projects Releases Wiki Activity
724 commits 12 branches 19 tags 14 MiB
Commit graph

2 commits

Author SHA1 Message Date
Ed Sanders 1071a53446 build: Update linters 
Change-Id: I98cbfd20fd85cdf8bb8dc1276ebbc516992212c3
 2023-09-15 17:06:48 +00:00
Ed Sanders 7b0c26ba59 build: Update devDependencies 
eslint-config-wikimedia      0.5.0  →   0.8.1
 grunt-eslint                20.1.0  →  21.0.0
 grunt-stylelint              0.9.0  →  0.10.1
 stylelint                    8.2.0  →   9.2.0
 stylelint-config-wikimedia   0.4.2  →   0.4.3

Add "eslint-plugin-qunit"

Change-Id: I4761b12a9c3d4cb35bb891a7f999a84be46f543e
 2018-11-12 22:24:07 +00:00