[MediaWiki-commits] [Gerrit] mediawiki...ExtensionDistributor[master]: build: Ignore vendor/ too
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/366464 ) Change subject: build: Ignore vendor/ too .. build: Ignore vendor/ too vendor/ also has some JavaScript files that shouldn't
[MediaWiki-commits] [Gerrit] mediawiki...ExtensionDistributor[master]: build: Ignore vendor/ too
Legoktm has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/366464 ) Change subject: build: Ignore vendor/ too .. build: Ignore vendor/ too vendor/ also has some JavaScript files that shouldn't be linted.