includes/wikiengine/render_xhtml.php
changeset 1221 d8c6b8d49604
parent 1217 feeb49aa6270
child 1227 bdac73ed481e
--- a/includes/wikiengine/render_xhtml.php	Mon Feb 08 17:04:08 2010 -0500
+++ b/includes/wikiengine/render_xhtml.php	Mon Feb 08 17:04:43 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>';
   }
 }