wikimedia/mediawiki-extensions-Cite
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite synced 2024-11-30 17:54:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove separate stylelint config for VE

Browse source 
Change-Id: I94fbce9b572a08eba2c1c2290f6777fe2f465e01
This commit is contained in:
Ed Sanders 2017-04-28 17:31:20 +01:00
parent 22c17437ac
commit db1e5a5907
2 changed files with 4 additions and 18 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
Gruntfile.js
View file

@ -24,21 +24,10 @@ module.exports = function ( grunt ) {
}, },
banana: conf.MessagesDirs, banana: conf.MessagesDirs,
stylelint: { stylelint: {
core: { all: [
src: [ '**/*.css',
'**/*.css', '!node_modules/**'
'!modules/ve-cite/**', ]
'!node_modules/**'
]
},
've-cite': {
options: {
configFile: 'modules/ve-cite/.stylelintrc'
},
src: [
'modules/ve-cite/**/*.css'
]
}
}, },
jsonlint: { jsonlint: {
all: [ all: [

3
modules/ve-cite/.stylelintrc
View file

@ -1,3 +0,0 @@
{
"extends": "stylelint-config-wikimedia"
}