[MediaWiki-commits] [Gerrit] Bug 47579: Treat source as potential extension tag in the ... - change (mediawiki...Parsoid)
GWicke has uploaded a new change for review. https://gerrit.wikimedia.org/r/60600 Change subject: Bug 47579: Treat source as potential extension tag in the tokenizer .. Bug 47579: Treat source as potential extension tag in the tokenizer This fixes the deprecated source alias to syntaxhighlight for now. Hopefully we can remove this exception eventually once bots have cleaned up the remaining source usage. Change-Id: Ifc8776419755b669d712b5bb028633cdd60e8c41 --- M js/lib/pegTokenizer.pegjs.txt 1 file changed, 2 insertions(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Parsoid refs/changes/00/60600/1 diff --git a/js/lib/pegTokenizer.pegjs.txt b/js/lib/pegTokenizer.pegjs.txt index 6455e88..c9bd101 100644 --- a/js/lib/pegTokenizer.pegjs.txt +++ b/js/lib/pegTokenizer.pegjs.txt @@ -353,7 +353,8 @@ meter, nav, noscript, object, ol, optgroup, option, output, p, param, pre, progress, q, rp, rt, ruby, s, samp, script, section, select, small, -source, span, strong, style, sub, summary, sup, +// source, Support the deprecated source alias for syntaxhighlight +span, strong, style, sub, summary, sup, table, tbody, td, textarea, tfoot, th, thead, time, title, tr, track, u, ul, var, video, wbr ]); -- To view, visit https://gerrit.wikimedia.org/r/60600 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ifc8776419755b669d712b5bb028633cdd60e8c41 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Parsoid Gerrit-Branch: master Gerrit-Owner: GWicke gwi...@wikimedia.org ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Bug 47579: Treat source as potential extension tag in the ... - change (mediawiki...Parsoid)
jenkins-bot has submitted this change and it was merged. Change subject: Bug 47579: Treat source as potential extension tag in the tokenizer .. Bug 47579: Treat source as potential extension tag in the tokenizer This fixes the deprecated source alias to syntaxhighlight for now. Hopefully we can remove this exception eventually once bots have cleaned up the remaining source usage. Change-Id: Ifc8776419755b669d712b5bb028633cdd60e8c41 --- M js/lib/pegTokenizer.pegjs.txt 1 file changed, 2 insertions(+), 1 deletion(-) Approvals: Subramanya Sastry: Looks good to me, approved jenkins-bot: Verified diff --git a/js/lib/pegTokenizer.pegjs.txt b/js/lib/pegTokenizer.pegjs.txt index 6455e88..c9bd101 100644 --- a/js/lib/pegTokenizer.pegjs.txt +++ b/js/lib/pegTokenizer.pegjs.txt @@ -353,7 +353,8 @@ meter, nav, noscript, object, ol, optgroup, option, output, p, param, pre, progress, q, rp, rt, ruby, s, samp, script, section, select, small, -source, span, strong, style, sub, summary, sup, +// source, Support the deprecated source alias for syntaxhighlight +span, strong, style, sub, summary, sup, table, tbody, td, textarea, tfoot, th, thead, time, title, tr, track, u, ul, var, video, wbr ]); -- To view, visit https://gerrit.wikimedia.org/r/60600 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ifc8776419755b669d712b5bb028633cdd60e8c41 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Parsoid Gerrit-Branch: master Gerrit-Owner: GWicke gwi...@wikimedia.org Gerrit-Reviewer: Subramanya Sastry ssas...@wikimedia.org Gerrit-Reviewer: jenkins-bot ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits