build: Update stylelint
authorEd Sanders <esanders@wikimedia.org>
Fri, 27 Oct 2017 12:31:41 +0000 (13:31 +0100)
committerEd Sanders <esanders@wikimedia.org>
Fri, 27 Oct 2017 12:31:41 +0000 (13:31 +0100)
commit10644263276ab941b19d2365e16813bd57e9d1f5
treeb69dc7c858fb39103554d3f2cb19520bacfc4ab2
parent8e58cebbae0f940efcf548bcde85a3b69d133e59
build: Update stylelint

Change-Id: I5a0ccb26a54109e641fd121c6427a71e82e05c74
18 files changed:
.stylelintrc.json
Gruntfile.js
package.json
resources/src/mediawiki.action/mediawiki.action.history.css
resources/src/mediawiki.legacy/commonPrint.css
resources/src/mediawiki.legacy/shared.css
resources/src/mediawiki.less/mediawiki.ui/mixins.less
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.mixins.less
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.ChangesListWrapperWidget.highlightCircles.seenunseen.less
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.TagItemWidget.less
resources/src/mediawiki.skinning/content.externallinks.css
resources/src/mediawiki.skinning/content.parsoid.less
resources/src/mediawiki.skinning/elements.css
resources/src/mediawiki.special/mediawiki.special.comparepages.styles.less
resources/src/mediawiki.ui/components/checkbox.less
resources/src/mediawiki.ui/components/forms.less
resources/src/mediawiki.ui/components/inputs.less
resources/src/mediawiki.ui/components/radio.less