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

Use json extension for .stylelintrc

Browse source 
Bug: T173516
Change-Id: I79efadb3c75b3c14f81d7bd7848beafef71e2dd9
This commit is contained in:
Umherirrender 2017-08-19 09:58:39 +02:00
parent fc2d573028
commit 239c7dff62
2 changed files with 7 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

0
.stylelintrc → .stylelintrc.json
View file

11
Gruntfile.js
View file

@ -13,18 +13,20 @@ module.exports = function ( grunt ) {
jsonlint: {
all: [
'**/*.json',
'!node_modules/**'
'!node_modules/**',
'!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
'!node_modules/**'
'!node_modules/**',
'!vendor/**'
]
},
watch: {
files: [
'.{stylelintrc,.eslintrc.json}',
'.{stylelintrc,.eslintrc}.json',
'<%= eslint.all %>',
'<%= stylelint.all %>'
],
@ -34,7 +36,8 @@ module.exports = function ( grunt ) {
all: [
'*.js',
'modules/**/*.js',
'!**/node_modules/**'
'!**/node_modules/**',
'!vendor/**'
]
}
} );