1 <?php if (!$WikiTheme->DUMP_MODE) { ?>
2 <?php if (defined('DEBUG') and DEBUG) { ?>
3 <?php echo empty($WARNINGS) ? '' : $WARNINGS ?>
4 <?php echo $GLOBALS['ErrorManager']->getPostponedErrorsAsHTML() ?>
5 <?php echo Template('debug') ?>
9 <link rel="stylesheet" type="text/css" href="/wiki/highlight.js/styles/github.css"/>
10 <script type="text/javascript" src="/wiki/highlight.js/highlight.pack.js"></script>
12 hljs.tabReplace = ' ';
13 hljs.initHighlightingOnLoad();