dokuwiki-source-plugin
/syntax.php |
@@ -22,7 +22,8 @@ |
* - this plugin's location, allow & deny settings. |
* |
* @license GPL 2 (http://www.gnu.org/licenses/gpl.html) |
* @author Christopher Smith <chris@jalakai.co.uk> |
* @author Wizardry and Steamworks office@grimore.org |
* original: Christopher Smith <chris@jalakai.co.uk> |
*/ |
if(!defined('DOKU_INC')) die(); // no Dokuwiki, no go |
|
@@ -131,7 +132,7 @@ |
$title = ($title) ? "<span>".hsc($title)."</span>" |
: $this->_makeTitle($file, $start, $end); |
|
$renderer->doc .= "<div class='source'><p>$title</p>"; |
$renderer->doc .= "<div class='source'><p class='title'>$title</p>"; |
$renderer->code($source, $lang); |
$renderer->doc .= "</div>"; |
} else { |