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 <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
