jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/362201 )
Change subject: Simplyfied lint file selection
......................................................................
Simplyfied lint file selection
Change-Id: I25f624db06d4c7f2cd4260c37cc7c1d11162b795
---
M Gruntfile.js
1 file changed, 8 insertions(+), 7 deletions(-)
Approvals:
Addshore: Looks good to me, approved
jenkins-bot: Verified
diff --git a/Gruntfile.js b/Gruntfile.js
index d5c78ab..5d55bcc 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -10,23 +10,24 @@
grunt.initConfig( {
eslint: {
all: [
- '*.js',
- 'tests/**/*.js',
- 'modules/**/*.js'
+ '**/*.js',
+ '!node_modules/**',
+ '!vendor/**'
]
},
stylelint: {
all: [
- 'modules/**/*.css',
- '!node_modules/**'
+ '**/*.css',
+ '!node_modules/**',
+ '!vendor/**'
]
},
banana: conf.MessagesDirs,
jsonlint: {
all: [
- '*.json',
'**/*.json',
- '!node_modules/**'
+ '!node_modules/**',
+ '!vendor/**'
]
}
} );
--
To view, visit https://gerrit.wikimedia.org/r/362201
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I25f624db06d4c7f2cd4260c37cc7c1d11162b795
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/RevisionSlider
Gerrit-Branch: master
Gerrit-Owner: WMDE-Fisch <[email protected]>
Gerrit-Reviewer: Addshore <[email protected]>
Gerrit-Reviewer: Andrew-WMDE <[email protected]>
Gerrit-Reviewer: Tobias Gritschacher <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
