Umherirrender has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/348515 )
Change subject: Run stylelint
......................................................................
Run stylelint
Was already in config, but not run
Change-Id: Ie54178e37098eb7ad7b66e5f6b5b9d7a188890c6
---
A .stylelintrc
M Gruntfile.js
2 files changed, 8 insertions(+), 3 deletions(-)
git pull
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/ElectronPdfService
refs/changes/15/348515/1
diff --git a/.stylelintrc b/.stylelintrc
new file mode 100644
index 0000000..2c90730
--- /dev/null
+++ b/.stylelintrc
@@ -0,0 +1,3 @@
+{
+ "extends": "stylelint-config-wikimedia"
+}
diff --git a/Gruntfile.js b/Gruntfile.js
index 6601ffa..7d5ab2e 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -15,8 +15,9 @@
},
stylelint: {
all: [
- 'modules/**/*.css',
- '!node_modules/**'
+ '**/*.css',
+ '!node_modules/**',
+ '!vendor/**'
]
},
banana: {
@@ -25,12 +26,13 @@
jsonlint: {
all: [
'**/*.json',
+ '.stylelintrc',
'!node_modules/**',
'!vendor/**'
]
}
} );
- grunt.registerTask( 'test', [ 'eslint', 'jsonlint', 'banana' ] );
+ grunt.registerTask( 'test', [ 'eslint', 'jsonlint', 'banana',
'stylelint' ] );
grunt.registerTask( 'default', 'test' );
};
--
To view, visit https://gerrit.wikimedia.org/r/348515
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ie54178e37098eb7ad7b66e5f6b5b9d7a188890c6
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ElectronPdfService
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
