jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/366030 )

Change subject: Run stylelint also for less file
......................................................................


Run stylelint also for less file

File was added with I6f9b85cd6cfdb055692b1f537d569c158900f7c9

Change-Id: I0ec5400422c5f8dc9f38c64dc3051a512fe20afe
---
M Gruntfile.js
M modules/ext.cite.styles.minerva.less
2 files changed, 4 insertions(+), 2 deletions(-)

Approvals:
  jenkins-bot: Verified
  Jforrester: Looks good to me, approved



diff --git a/Gruntfile.js b/Gruntfile.js
index 76d954c..e249f35 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -26,12 +26,14 @@
                stylelint: {
                        all: [
                                '**/*.css',
+                               '**/*.less',
                                '!node_modules/**'
                        ]
                },
                jsonlint: {
                        all: [
                                '**/*.json',
+                               '.stylelintrc',
                                '!node_modules/**'
                        ]
                }
diff --git a/modules/ext.cite.styles.minerva.less 
b/modules/ext.cite.styles.minerva.less
index 01d70ba..db63b72 100644
--- a/modules/ext.cite.styles.minerva.less
+++ b/modules/ext.cite.styles.minerva.less
@@ -1,6 +1,6 @@
-@import "mediawiki.mixins.less";
+@import 'mediawiki.mixins.less';
 
- .mw-references-columns {
+.mw-references-columns {
        /* Minerva skin width is cut to 1000px  (62.5em). With margins/paddings 
included this
        leaves 55.8em for content. This ensures that 2 columns will be used 
where possible */
        .column-width( 25em );

-- 
To view, visit https://gerrit.wikimedia.org/r/366030
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I0ec5400422c5f8dc9f38c64dc3051a512fe20afe
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/Cite
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <[email protected]>
Gerrit-Reviewer: Jackmcbarn <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: Umherirrender <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to