themes/wikilens/templates/navbar.tmpl

   1 <?php // -*-html-*-
   2     rcs_id('$Id: navbar.tmpl,v 1.5 2004-11-15 16:04:35 rurban Exp $');
   3
   4     $s = $WikiTheme->getButtonSeparator();
   5 ?>
   6 <!-- The top navigation/search bar -->
   7 <form action="<?= WikiURL(_("TitleSearch"))?>" target="_top"
   8       method="get" accept-charset="<?=CHARSET?>">
   9   <div id="navbuttons">
  10    <?= WikiLink(_("RecentChanges"), "button") ?>
  11    <?=$s?><?= WikiLink(_("FindPage"), "button") ?> :
  12    <input type="hidden" name="auto_redirect" value="1" />
  13       <?php if (! USE_PATH_INFO) { ?>
  14       <input type="hidden" name="pagename" value="<?=
  15 _("TitleSearch")?>" />
  16       <?php } ?>
  17       <input type="hidden" name="nocache" value="purge" />
  18       <input type="text"  name="s" size="20" maxlength="256"
  19              title='<?=_("Quick Search")?>'
  20              onmouseover="window.status='<?=
  21 _("Quick Search")?>'; return true;"
  22              onmouseout="window.status=''; return true;" />
  23     <?php if (!empty($revision)) { ?>
  24      <?=$s?><?= Button("LikePages", _("LikePages")) ?>
  25      <?=$s?><?= Button("BackLinks", _("BackLinks")) ?>
  26     <?php } ?>
  27     <?php if (!empty($user)) { ?>
  28      <?=$s?>
  29 <?php
  30 $loader = new WikiPluginLoader();
  31 printXML($loader->expandPI("<"."?plugin RateIt ?".">", $request, $dbi->_markup));
  32 ?>
  33     <?php
  34       /* Today's calendar page for the user, if the Calender subpage is defined. */
  35       $UserCalPageTitle = $user->getId() . SUBPAGE_SEPARATOR . _("Calendar");
  36       $dbi = $request->getDbh();
  37       if ($dbi->isWikiPage($UserCalPageTitle)) {
  38         $UserCalPageTodayTitle = $UserCalPageTitle . SUBPAGE_SEPARATOR . strftime("%Y-%m-%d", time());
  39         ?>
  40      <?=$s?><?= WikiLink($UserCalPageTodayTitle, "button", _("Today")) ?>
  41       <?php } ?>
  42       <?php if (!empty($user) && $user->isAdmin()) { ?>
  43      <?=$s?><?= WikiLink(_("PhpWikiAdministration"), "button", _("Admin")) ?>
  44       <?php } ?>
  45     <?php } ?></div>
  46     <hr>
  47       <!-- <''?plugin IncludePage page="LeftbarContent" quiet="true" ?''> -->
  48
  49 </form>