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
