wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-28 10:10:04 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Use json extension for .stylelintrc"

Browse source
This commit is contained in:
jenkins-bot 2017-08-19 21:43:18 +00:00 committed by Gerrit Code Review
parent c67dc4d364 84b9870e88
commit ee3c867da8
2 changed files with 6 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

0
.stylelintrc → .stylelintrc.json
View file

10
Gruntfile.js
View file

@ -9,7 +9,8 @@ module.exports = function ( grunt ) {
eslint: { eslint: {
all: [ all: [
'**/*.js', '**/*.js',
'!node_modules/**' '!node_modules/**',
'!vendor/**'
] ]
}, },
banana: { banana: {
@ -18,14 +19,15 @@ module.exports = function ( grunt ) {
jsonlint: { jsonlint: {
all: [ all: [
'**/*.json', '**/*.json',
'.stylelintrc', '!node_modules/**',
'!node_modules/**' '!vendor/**'
] ]
}, },
stylelint: { stylelint: {
all: [ all: [
'**/*.css', '**/*.css',
'!node_modules/**' '!node_modules/**',
'!vendor/**'
] ]
} }
} ); } );