includes/wikiengine/render_xhtml.php
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>';
   }
 }