wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-11-15 20:09:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "build: Adding configuration for jsonlint"

Browse source
This commit is contained in:
jenkins-bot 2015-06-12 15:55:28 +00:00 committed by Gerrit Code Review
parent 1c36a0b804 f5e8bf0800
commit 6ce978c04c
2 changed files with 10 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
Gruntfile.js
View file

@ -6,13 +6,20 @@
/*jshint node:true */
module.exports = function ( grunt ) {
grunt.loadNpmTasks( 'grunt-jsonlint' );
grunt.loadNpmTasks( 'grunt-banana-checker' );
grunt.initConfig( {
banana: {
all: ['i18n/']
},
jsonlint: {
all: [
'**/*.json',
'!node_modules/**'
]
}
} );
grunt.registerTask( 'test', [ 'banana' ] );
grunt.registerTask( 'test', [ 'jsonlint', 'banana' ] );
grunt.registerTask( 'default', 'test' );
};

3
package.json
View file

@ -9,6 +9,7 @@
"devDependencies": {
"grunt": "0.4.5",
"grunt-cli": "0.1.13",
"grunt-banana-checker": "0.2.2"
"grunt-banana-checker": "0.2.2",
"grunt-jsonlint": "1.0.4"
}
}