On Mon, Sep 21, 2009 at 1:46 AM, Tim Starling tstarling@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.