Subramanya Sastry has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/398517 )
Change subject: Linter: Comment out unused linter category ...................................................................... Linter: Comment out unused linter category Change-Id: I36fa0f62959aa5044e9bcb56a3dd9c747fdffef9 --- M lib/wt2html/pp/handlers/linter.js 1 file changed, 2 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/services/parsoid refs/changes/17/398517/1 diff --git a/lib/wt2html/pp/handlers/linter.js b/lib/wt2html/pp/handlers/linter.js index db43032..e13d4ac 100644 --- a/lib/wt2html/pp/handlers/linter.js +++ b/lib/wt2html/pp/handlers/linter.js @@ -394,6 +394,7 @@ } } + /* TODO: not sure if this is useful / valid at all. Suppress for now. if (DU.hasLiteralHTMLMarker(dp) && dp.autoInsertedStart === true && (tplInfo || dsr[3] > 0)) { @@ -403,6 +404,7 @@ }; env.log('lint/missing-start-tag', lintObj); } + */ } } -- To view, visit https://gerrit.wikimedia.org/r/398517 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I36fa0f62959aa5044e9bcb56a3dd9c747fdffef9 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/services/parsoid Gerrit-Branch: master Gerrit-Owner: Subramanya Sastry <ssas...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits