On Mon, Sep 21, 2009 at 1:46 AM, Tim Starling <tstarling(a)wikimedia.org> wrote:
<pre> in wikitext is explicitly not the same as
<pre> in HTML. Unlike
in HTML, HTML-like tags which appear inside <pre> are considered to be
literal and are escaped. This behaviour is often used.
The choice of name was probably unfortunate, though. There's now no
actual way to put arbitrary content in an HTML <pre> in wikitext --
only if it plays nicely with the leading space syntax.