jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/383144 )
Change subject: build: Update eslint and other linters ...................................................................... build: Update eslint and other linters Change-Id: I0a20ad5d16d46afbc2a328f8e254295972f58ab0 --- M package.json M resources/dist/index.js.json M src/actions.js M src/changeListeners/render.js M src/formatter.js M src/gateway/index.js M src/gateway/mediawiki.js M src/gateway/rest.js M src/gateway/restFormatters.js M src/instrumentation/statsv.js M src/title.js M src/ui/renderer.js M src/ui/settingsDialog.js M tests/node-qunit/formatter.test.js M tests/node-qunit/gateway/mediawiki.test.js M tests/node-qunit/title.test.js M tests/node-qunit/ui/renderer.test.js 17 files changed, 52 insertions(+), 51 deletions(-) Approvals: jenkins-bot: Verified Phuedx: Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/383144 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I0a20ad5d16d46afbc2a328f8e254295972f58ab0 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Popups Gerrit-Branch: master Gerrit-Owner: Esanders <esand...@wikimedia.org> Gerrit-Reviewer: Phuedx <samsm...@wikimedia.org> Gerrit-Reviewer: Pmiazga <pmia...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
