wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-12-18 17:23:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "build: Simplify linter configs" into REL1_31

Browse source
This commit is contained in:
jenkins-bot 2018-05-01 21:00:28 +00:00 committed by Gerrit Code Review
parent c21c77840f 7726ed6a5e
commit 0ce87f0aa1
2 changed files with 5 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
Gruntfile.js
View file

@ -9,11 +9,7 @@ module.exports = function ( grunt ) {
grunt.initConfig( { grunt.initConfig( {
eslint: { eslint: {
all: [ all: '.'
'**/*.js',
'!node_modules/**',
'!vendor/**'
]
}, },
stylelint: { stylelint: {
options: { options: {
@ -21,7 +17,6 @@ module.exports = function ( grunt ) {
}, },
all: [ all: [
'**/*.{css,less}', '**/*.{css,less}',
'!node_modules/**',
'!vendor/**' '!vendor/**'
] ]
}, },

5
package.json
View file

@ -12,5 +12,8 @@
"grunt-stylelint": "0.9.0", "grunt-stylelint": "0.9.0",
"stylelint": "8.2.0", "stylelint": "8.2.0",
"stylelint-config-wikimedia": "0.4.2" "stylelint-config-wikimedia": "0.4.2"
} },
"eslintIgnore": [
"vendor/**"
]
} }