themes/Sidebar/templates/navbar.tmpl

   1 <?php // -*-html-*-
   2     rcs_id('$Id: navbar.tmpl,v 1.4 2004-04-01 15:58:58 rurban Exp $');
   3     $s = $Theme->getButtonSeparator();
   4     /* Fixme:  This doesn't work as expected.
   5     _autosplitWikiWords must be set to true in themeinfo.php */
   6     $split = $Theme->_autosplitWikiWords;
   7     global $Theme;
   8     $Theme->setAutosplitWikiWords(true);
   9 ?>
  10 <!-- The top navigation/search bar -->
  11 <form action="<?= WikiURL(_("TitleSearch"))?>" target="_top"
  12       method="get" accept-charset="<?=CHARSET?>">
  13 <div id="navbuttons">
  14  &middot; <?= WikiLink(_("RecentChanges"), "button") ?>
  15
  16 <?=$s?><?= WikiLink(_("FindPage"), "button",_("Search")) ?>
  17 <input type="hidden" name="auto_redirect" value="1" />
  18 <?php if (! USE_PATH_INFO) { ?>
  19 <input type="hidden" name="pagename" value="<?=_("TitleSearch")?>" />
  20 <?php } ?>
  21 <input type="hidden" name="nocache" value="purge" />
  22 <input type="text"  name="s" size="12" maxlength="256"
  23              title='<?=_("Quick Search")?>'
  24              onmouseover="window.status='<?=_("Quick Search")?>'; return true;"
  25              onmouseout="window.status=''; return true;" />
  26 <?php if (!empty($revision)) { ?>
  27 <?=$s?><?= Button("LikePages", _("LikePages")) ?>
  28
  29 <?=$s?><?= Button("BackLinks", _("BackLinks")) ?>
  30 <?php } ?>
  31 <?php if (!empty($user) && $user->isAdmin()) { ?>
  32
  33 <?=$s?><?= WikiLink(_("PhpWikiAdministration"), "button", _("Admin")) ?>
  34 <?php }
  35 $Theme->setAutosplitWikiWords($split); ?></div>
  36 </form>