Change Details

<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. -------------------------- **Version**: unspecified **Severity**: normal

<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 T39041 and T20820) and forces users to use nasty hacks (if even available) which make the original source less legible.

<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 37T39041 and bug 18820T20820) and forces users to use nasty hacks (if even available) which make the original source less legible. -------------------------- **Version**: unspecified **Severity**: normal