jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/330073 )

Change subject: Add grunt-jsonlint and grunt-banana-checker
......................................................................


Add grunt-jsonlint and grunt-banana-checker

Bug: T94547
Change-Id: I830665f626bc71b8332262a300acbb693e80fd25
---
M Gruntfile.js
M package.json
2 files changed, 15 insertions(+), 1 deletion(-)

Approvals:
  Addshore: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/Gruntfile.js b/Gruntfile.js
index c9e1a11..2fb0681 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -1,6 +1,8 @@
 /*jshint node:true */
 module.exports = function ( grunt ) {
        grunt.loadNpmTasks( 'grunt-contrib-jshint' );
+       grunt.loadNpmTasks( 'grunt-jsonlint' );
+       grunt.loadNpmTasks( 'grunt-banana-checker' );
 
        grunt.initConfig( {
                jshint: {
@@ -11,10 +13,20 @@
                                '*.js',
                                'modules/*.js'
                        ]
+               },
+               jsonlint: {
+                       all: [
+                               '**/*.json',
+                               '!node_modules/**',
+                               '!vendor/**'
+                       ]
+               },
+               banana: {
+                       all: 'i18n/'
                }
        } );
 
-       grunt.registerTask( 'lint', [ 'jshint' ] );
+       grunt.registerTask( 'lint', [ 'jshint', 'jsonlint', 'banana' ] );
        grunt.registerTask( 'test', 'lint' );
        grunt.registerTask( 'default', 'test' );
 };
diff --git a/package.json b/package.json
index baada8c..a30de34 100644
--- a/package.json
+++ b/package.json
@@ -4,6 +4,8 @@
   },
   "devDependencies": {
     "grunt": "1.0.1",
+    "grunt-banana-checker": "0.5.0",
+    "grunt-jsonlint": "1.1.0",
     "grunt-contrib-jshint": "1.0.0"
   }
 }

-- 
To view, visit https://gerrit.wikimedia.org/r/330073
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I830665f626bc71b8332262a300acbb693e80fd25
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/Buggy
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>
Gerrit-Reviewer: Addshore <addshorew...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to