4 <body<?= $WikiTheme->getMoreAttr('body') ?>>
5 <div id="header"><?php // for top toolbars style sheet ?>
8 <div class="toolbar"><?= Template('navbar') ?></div>
11 <?php if (isset($HEADER)) { ?>
13 <h1><?= $HEADER ?></h1>
16 <?= Template('bottom') ?>
18 <?php if (isset($revision)) { ?>
20 <?= Template('actionbar') ?>