jenkins-bot has submitted this change and it was merged.
Change subject: Fix globbing for eslint
......................................................................
Fix globbing for eslint
Grunt's `**` matches symlinks but doesn't follow them, so `**/*.js`
matches files that `!extensions/**` doesn't see to exclude.
Bug: T151381
Change-Id: I5d8ae6e24f2fa09efc97db871b0c08d4fbc68efd
---
M Gruntfile.js
1 file changed, 3 insertions(+), 2 deletions(-)
Approvals:
Jforrester: Looks good to me, approved
jenkins-bot: Verified
diff --git a/Gruntfile.js b/Gruntfile.js
index b38bc9a..3fee6ba 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -22,14 +22,15 @@
'**/*.js',
'!docs/**',
'!tests/**',
- '!extensions/**',
'!node_modules/**',
'!resources/lib/**',
'!resources/src/jquery.tipsy/**',
'!resources/src/jquery/jquery.farbtastic.js',
'!resources/src/mediawiki.libs/**',
- '!skins/**',
'!vendor/**',
+ // Explicitly say "**/*.js" here in case of
symlinks
+ '!extensions/**/*.js',
+ '!skins/**/*.js',
// Skip functions aren't even parseable
'!resources/src/dom-level2-skip.js',
'!resources/src/es5-skip.js',
--
To view, visit https://gerrit.wikimedia.org/r/322952
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5d8ae6e24f2fa09efc97db871b0c08d4fbc68efd
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Anomie <[email protected]>
Gerrit-Reviewer: Esanders <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
