3 <body<?= $WikiTheme->getMoreAttr('body') ?>>
6 <h1 id="header"><?= $HEADER ?></h1>
8 <!-- Page title and logo -->
10 <h1><a class="wikilink"
11 href="<?=WikiURL(HOME_PAGE)?>"
12 ><img src="<?=$WikiTheme->getImageURL('logo')?>"
13 border="0" alt="<?=fmt(_("%s: %s"), WIKI_NAME, HOME_PAGE) ?>"
14 align="bottom" /></a> <?=$HEADER?></h1>
17 <?= Template('navbar') ?>
18 <!-- RELATEDPAGES were here. -->
20 <?= $GLOBALS['ErrorManager']->getPostponedErrorsAsHTML() ?>