wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-11-24 06:03:49 +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 07:07:55 +00:00 committed by Gerrit Code Review
parent 03b14ca113 dbd7a04966
commit c027884966
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

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