jenkins-bot has submitted this change and it was merged.
Change subject: Allow unexpected end tag to pass through createDOM
......................................................................
Allow unexpected end tag to pass through createDOM
Bug: T90788
Change-Id: I7444b51f7133f4993f7cdcfef0898825f8340839
---
M includes/Parsoid/Utils.php
1 file changed, 2 insertions(+), 1 deletion(-)
Approvals:
Matthias Mullie: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/Parsoid/Utils.php b/includes/Parsoid/Utils.php
index e69c691..edc80ba 100644
--- a/includes/Parsoid/Utils.php
+++ b/includes/Parsoid/Utils.php
@@ -176,6 +176,7 @@
* ignored will throw a WikitextException.
*
* The default error codes allowed are:
+ * 76 - allow unexpected end tag. This is typically old wikitext
using deprecated tags.
* 513 - allow multiple tags with same id
* 801 - allow unrecognized tags like figcaption
*
@@ -185,7 +186,7 @@
* @throws WikitextException
* @see http://www.xmlsoft.org/html/libxml-xmlerror.html
*/
- public static function createDOM( $content, $ignoreErrorCodes = array(
513, 801 ) ) {
+ public static function createDOM( $content, $ignoreErrorCodes = array(
76, 513, 801 ) ) {
$dom = new DOMDocument();
// Otherwise the parser may attempt to load the dtd from an
external source.
--
To view, visit https://gerrit.wikimedia.org/r/195600
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7444b51f7133f4993f7cdcfef0898825f8340839
Gerrit-PatchSet: 5
Gerrit-Project: mediawiki/extensions/Flow
Gerrit-Branch: master
Gerrit-Owner: EBernhardson <[email protected]>
Gerrit-Reviewer: EBernhardson <[email protected]>
Gerrit-Reviewer: Matthias Mullie <[email protected]>
Gerrit-Reviewer: SG <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
