[MediaWiki-commits] [Gerrit] mediawiki...ExtensionDistributor[master]: build: Ignore vendor/ too

2017-07-23 Thread jenkins-bot (Code Review)
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

2017-07-19 Thread Legoktm (Code Review)
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.