wikimedia/mediawiki-extensions-Math
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Math synced 2024-11-24 23:46:39 +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 22:32:13 +00:00 committed by Gerrit Code Review
parent 4e338cb959 239c7dff62
commit e4142790d7
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: { jsonlint: {
all: [ all: [
'**/*.json', '**/*.json',
'!node_modules/**' '!node_modules/**',
'!vendor/**'
] ]
}, },
stylelint: { stylelint: {
all: [ all: [
'**/*.css', '**/*.css',
'!node_modules/**' '!node_modules/**',
'!vendor/**'
] ]
}, },
watch: { watch: {
files: [ files: [
'.{stylelintrc,.eslintrc.json}', '.{stylelintrc,.eslintrc}.json',
'<%= eslint.all %>', '<%= eslint.all %>',
'<%= stylelint.all %>' '<%= stylelint.all %>'
], ],
@ -34,7 +36,8 @@ module.exports = function ( grunt ) {
all: [ all: [
'*.js', '*.js',
'modules/**/*.js', 'modules/**/*.js',
'!**/node_modules/**' '!**/node_modules/**',
'!vendor/**'
] ]
} }
} ); } );