wikimedia/mediawiki-extensions-RelatedArticles
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RelatedArticles synced 2024-11-27 17:50:25 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Update linters

Browse source 
Change-Id: I524c23c92d2d356ba1ce9552c7a0028c670e054f
This commit is contained in:
Ed Sanders 2017-05-05 12:07:00 +01:00 committed by Jforrester
parent 627c254157
commit 96fe734e7c
2 changed files with 11 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
Gruntfile.js
View file

@ -9,10 +9,10 @@ module.exports = function ( grunt ) {
grunt.initConfig( {
eslint: {
all: '.'
},
jscs: {
src: '.'
all: [
'**/*.js',
'!node_modules/**'
]
},
banana: conf.MessagesDirs,
jsonlint: {

14
package.json
View file

@ -4,13 +4,13 @@
"test": "grunt test"
},
"devDependencies": {
"eslint-config-wikimedia": "^0.3.0",
"grunt": "0.4.5",
"grunt-banana-checker": "0.4.0",
"grunt-cli": "0.1.13",
"grunt-eslint": "^19.0.0",
"grunt-jsonlint": "1.0.7",
"grunt-stylelint": "0.6.0",
"eslint-config-wikimedia": "0.4.0",
"grunt": "1.0.1",
"grunt-banana-checker": "0.6.0",
"grunt-eslint": "19.0.0",
"grunt-jsonlint": "1.1.0",
"grunt-stylelint": "0.7.0",
"stylelint": "7.8.0",
"stylelint-config-wikimedia": "0.4.1"
}
}