Esanders has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/351599 )
Change subject: Remove eslint:fix
......................................................................
Remove eslint:fix
Not so useful now the rules are stable
Change-Id: Ic470a66953d4609766f1fc9eb6b6b0ed6825b4b8
---
M Gruntfile.js
1 file changed, 1 insertion(+), 9 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Popups
refs/changes/99/351599/1
diff --git a/Gruntfile.js b/Gruntfile.js
index 0e8d091..5ccaf8f 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -12,14 +12,6 @@
grunt.initConfig( {
banana: conf.MessagesDirs,
eslint: {
- fix: {
- options: {
- fix: true
- },
- src: [
- '<%= eslint.all %>'
- ]
- },
all: [
'src/**',
'resources/ext.popups/*.js',
@@ -64,6 +56,6 @@
}
} );
- grunt.registerTask( 'lint', [ 'eslint:all', 'stylelint', 'jsonlint',
'banana' ] );
+ grunt.registerTask( 'lint', [ 'eslint', 'stylelint', 'jsonlint',
'banana' ] );
grunt.registerTask( 'default', [ 'lint' ] );
};
--
To view, visit https://gerrit.wikimedia.org/r/351599
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ic470a66953d4609766f1fc9eb6b6b0ed6825b4b8
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Popups
Gerrit-Branch: master
Gerrit-Owner: Esanders <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
