On Wed, Jan 01, 2003 at 09:46:12PM -0800, Brion Vibber wrote:
On mer, 2003-01-01 at 19:08, Derek Moore wrote:
Inside ampersands that are part of character
references inside <pre> ...
</pre> are now being translated to & as though they're not a part of an
explicit character reference. I'm experiencing this at [[m:Wikitax]].
Should be back.
While fixing other things, I accidentally overwrote OutputPage.php with
the (partially) tex-enabled version, which apparently handles <pre> tags
in a broken way. I'll go fix that.
But it should do it that way. <pre> is for raw code listings, and
Wikipedia software should neither interpret anything inside it
nor leave any HTML characters unescaped.