jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/364758 )
Change subject: Update build file lists
......................................................................
Update build file lists
Change-Id: I5cc39a2d74fff17b1386b38648569d7a153ddce9
---
M Gruntfile.js
1 file changed, 3 insertions(+), 2 deletions(-)
Approvals:
jenkins-bot: Verified
Jforrester: Looks good to me, approved
diff --git a/Gruntfile.js b/Gruntfile.js
index 861701e..3ac43c1 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -25,7 +25,8 @@
all: [
'*.json',
'i18n/*.json',
- 'modules/**/*.json'
+ 'modules/**/*.json',
+ '.stylelintrc'
]
},
stylelint: {
@@ -39,8 +40,8 @@
banana: conf.MessagesDirs,
watch: {
files: [
- '.{stylelintrc,jscsrc,jshintignore,jshintrc}',
'<%= eslint.all %>',
+ '<%= jsonlint.all %>',
'<%= stylelint.all %>'
],
tasks: 'test'
--
To view, visit https://gerrit.wikimedia.org/r/364758
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5cc39a2d74fff17b1386b38648569d7a153ddce9
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/SyntaxHighlight_GeSHi
Gerrit-Branch: master
Gerrit-Owner: 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
