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

build: Always exclude vendor

Browse source 
Change-Id: I6b69379a57e0695d6183e34bca41653033a9da37
This commit is contained in:
Umherirrender 2017-11-08 17:55:00 +01:00
parent 122332c66b
commit 49f0ec9d19
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Gruntfile.js
View file

@ -27,7 +27,8 @@ module.exports = function ( grunt ) {
'tests/node-qunit/**/*.js',
'!resources/dist/index.js',
'!docs/**',
'!node_modules/**'
'!node_modules/**',
'!vendor/**'
]
}
},
@ -36,7 +37,8 @@ module.exports = function ( grunt ) {
'*.json',
'**/*.json',
'!docs/**',
'!node_modules/**'
'!node_modules/**',
'!vendor/**'
]
},
stylelint: {