https://bugzilla.wikimedia.org/show_bug.cgi?id=37042
Web browser: ---
Bug #: 37042
Summary: Remove <source> syntax from SyntaxHighlight (GeSHi)
Product: MediaWiki extensions
Version: unspecified
Platform: All
OS/Version: All
Status: NEW
Severity: normal
Priority: Unprioritized
Component: SyntaxHighlight (GeSHi)
AssignedTo: [email protected]
ReportedBy: [email protected]
CC: [email protected]
Blocks: 37041, 18820
Classification: Unclassified
Mobile Platform: ---
<source> syntax should be removed from SyntaxHighlight (GeSHi) and all
occurences replaced by bot, because such tag has so common name, which can be
used in various XML applications, namely HTML5 is using it for instance.
Having this tag disallows various constructions (see bug 37041 and bug 18820)
and forces users to use nasty hacks (if even available) which make the original
source less legible.
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
