3 <body<?= $WikiTheme->getMoreAttr('body') ?>>
4 <!-- Page title and logo -->
5 <h1><a class="wikilink"
6 href="<?=WikiURL(HOME_PAGE)?>"
7 ><img src="<?=$WikiTheme->getImageURL('logo')?>"
8 border="0" alt="<?=fmt(_("%s: %s"), WIKI_NAME, HOME_PAGE) ?>"
9 align="bottom" /></a> <?=$HEADER?></h1>
11 <?= Template('navbar') ?>
12 <!-- RELATEDPAGES were here. -->
14 <?= $GLOBALS['ErrorManager']->getPostponedErrorsAsHTML() ?>
16 <?php if (defined('DEBUG') && DEBUG) { ?><?= Template('debug') ?><?php } ?>