jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/386001 )
Change subject: Add new categories to tools/compare.linter.results.js ...................................................................... Add new categories to tools/compare.linter.results.js Change-Id: I5240d4c603a85dcc6f847712743988b6f3a7acc3 --- M tools/compare.linter.results.js 1 file changed, 2 insertions(+), 0 deletions(-) Approvals: jenkins-bot: Verified Arlolra: Looks good to me, approved diff --git a/tools/compare.linter.results.js b/tools/compare.linter.results.js index 2a93e8a..5b7dfb9 100755 --- a/tools/compare.linter.results.js +++ b/tools/compare.linter.results.js @@ -80,6 +80,8 @@ "pwrap-bug-workaround", "self-closed-tag", "tidy-whitespace-bug", + "html5-misnesting", + "tidy-font-bug", ]; var argv = opts.argv; -- To view, visit https://gerrit.wikimedia.org/r/386001 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I5240d4c603a85dcc6f847712743988b6f3a7acc3 Gerrit-PatchSet: 4 Gerrit-Project: mediawiki/services/parsoid Gerrit-Branch: master Gerrit-Owner: Subramanya Sastry <ssas...@wikimedia.org> Gerrit-Reviewer: Arlolra <abrea...@wikimedia.org> Gerrit-Reviewer: C. Scott Ananian <canan...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits