changeset 1217 | feeb49aa6270 |
parent 1187 | 5d33f9511995 |
child 1227 | bdac73ed481e |
--- a/includes/wikiengine/render_xhtml.php Mon Feb 01 02:15:04 2010 -0500 +++ b/includes/wikiengine/render_xhtml.php Mon Feb 01 02:22:54 2010 -0500 @@ -159,7 +159,7 @@ public function code($match) { - return '<pre>' . htmlspecialchars($match[1]) . '</pre>'; + return '<pre class="wikitext-code"><final>' . htmlspecialchars($match[1]) . '</final></pre>'; } }