Mediawiki parser <pre> error: not support attributes on the tag

[GoogleCodeExporter]

I want to use some syntax highlighter to highlight code, so I add some
attributes in pre tag, like this:

<pre class="java">
class Person {
    String name;
    int age;
}
</pre>

I expect the parse result is the same with above.
But Mediawiki parser don't know the attribute-added pre tag, then the
parser result is:

<p>&lt;pre class="java"&gt;
class Person {
    String name;
    int age;
}
&lt;/pre&gt;</p>

Original issue reported on code.google.com by fajaven on 2 Sep 2008 at 3:08

[GoogleCodeExporter]

Original comment by thomas.m...@gmail.com on 28 Mar 2010 at 5:52

• Changed state: Fixed

[GoogleCodeExporter]

Applied patch from Arun Reddy

Original comment by thomas.m...@gmail.com on 28 Mar 2010 at 5:57