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