4 <!-- Additional sidebar navigation -->
6 <div class="box-title">
7 <?php echo _("Navigation") ?>
10 <?php if (!empty($revision)) { ?>
11 · <?php echo WikiLink(_("BackLinks"), "button",_("BackLinks")) ?>
13 <?php if (!empty($user) && $user->isAdmin()) { ?>
14 <br />· <?php echo WikiLink(_("PhpWikiAdministration"), "button", _("Admin")) ?>
16 <?php if (!empty($user) && $user->isSignedIn()) { ?>
17 <br />· <?php echo WikiLink(_("UserPreferences"), "","Preferences") ?>
20 <?php echo Template("blog/signin") ?>