wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-27 16:40:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use json extension for .stylelintrc

Browse source 
Bug: T173516
Change-Id: I3216495396d962490b2ef69caa0e5f6263a4922d
This commit is contained in:
Umherirrender 2017-08-19 09:40:38 +02:00
parent e1916c274c
commit beb54ff999
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

@ -18,7 +18,8 @@ module.exports = function ( grunt ) {
all: [ all: [
'**/*.js', '**/*.js',
'!node_modules/**', '!node_modules/**',
'!modules/ace/**' '!modules/ace/**',
'!vendor/**'
] ]
}, },
stylelint: { stylelint: {
@ -26,14 +27,16 @@ module.exports = function ( grunt ) {
'**/*.css', '**/*.css',
'**/*.less', '**/*.less',
'!node_modules/**', '!node_modules/**',
'!modules/ace/**' '!modules/ace/**',
'!vendor/**'
] ]
}, },
banana: conf.MessagesDirs, banana: conf.MessagesDirs,
jsonlint: { jsonlint: {
all: [ all: [
'**/*.json', '**/*.json',
'!node_modules/**' '!node_modules/**',
'!vendor/**'
] ]
} }
} ); } );