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

linters should ignore generated docs

Browse source 
Change-Id: Ice9eef1ba6e2b158ab3f7a9f45a4d1a7a41824b8
This commit is contained in:
Adam Wight 2024-02-29 09:38:37 +01:00 committed by WMDE-Fisch
parent 73c90a0e7d
commit 5c7e7f4fbd
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
Gruntfile.js
View file

@ -21,7 +21,7 @@ module.exports = function ( grunt ) {
}, },
all: [ all: [
'**/*.{js,json}', '**/*.{js,json}',
'!{vendor,node_modules}/**', '!{docs,vendor,node_modules}/**',
'!cypress/screenshots/**/*.js' '!cypress/screenshots/**/*.js'
] ]
}, },
@ -30,8 +30,7 @@ module.exports = function ( grunt ) {
all: [ all: [
'**/*.css', '**/*.css',
'**/*.less', '**/*.less',
'!node_modules/**', '!{docs,node_modules,vendor}/**'
'!vendor/**'
] ]
} }
} ); } );