wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-15 03:34:50 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Linter/modules
History
Ed Sanders b8a03444dd build: Update devDependencies 
eslint-config-wikimedia   0.5.0  →   0.8.1
 grunt-eslint             20.1.0  →  21.0.0

Change-Id: I8c0cc86c79760c4a6aaba5d8096c4bde2daad8be
2018-11-12 16:07:17 +00:00
..
ext.linter.edit.js build: Update devDependencies 2018-11-12 16:07:17 +00:00