[MediaWiki-commits] [Gerrit] mediawiki...wikihiero[master]: build: Update linters
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/394395 ) Change subject: build: Update linters .. build: Update linters Change-Id: If7da945e8790a1f1223c7455b329855386456785 --- M
[MediaWiki-commits] [Gerrit] mediawiki...wikihiero[master]: build: Update linters
Esanders has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/394395 ) Change subject: build: Update linters .. build: Update linters Change-Id: If7da945e8790a1f1223c7455b329855386456785 --- M package.json 1