wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-12 01:11:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/modules
History
Ed Sanders 9619727f3c 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

Change-Id: I4c39a42f84303ee0d5d66032bf4cacd9e90821e9
2018-11-05 19:31:08 +00:00
..
ext.scribunto.edit.css build: Update linters 2018-02-04 22:10:26 +00:00
ext.scribunto.edit.js build: Update devDependencies 2018-11-05 19:31:08 +00:00
ext.scribunto.errors.css Add stylelint for css files 2017-04-18 00:48:31 +02:00
ext.scribunto.errors.js build: Update devDependencies 2018-11-05 19:31:08 +00:00
ext.scribunto.logs.css Rewrite error handling to avoid OutputPage::addInlineScript 2015-03-16 16:08:44 -04:00