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.