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

Use json extension for .stylelintrc

Browse source 
Bug: T173516
Change-Id: Ic4139987d8414646059c882f413ec483da759029
This commit is contained in:
Umherirrender 2017-08-19 10:55:02 +02:00
parent 2ad80f41f2
commit c3989b29dd
2 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

0
.stylelintrc → .stylelintrc.json
View file

9
Gruntfile.js
View file

@ -10,7 +10,8 @@ module.exports = function ( grunt ) {
eslint: {
all: [
'**/*.js',
'!node_modules/**'
'!node_modules/**',
'!vendor/**'
]
},
stylelint: {
@ -19,14 +20,16 @@ module.exports = function ( grunt ) {
},
all: [
'**/*.less',
'!node_modules/**'
'!node_modules/**',
'!vendor/**'
]
},
banana: conf.MessagesDirs,
jsonlint: {
all: [
'**/*.json',
'!node_modules/**'
'!node_modules/**',
'!vendor/**'
]
}
} );