themes/Sidebar/templates/navbar.tmpl

   1 <?php // -*-php-*-
   2     rcs_id('$Id: navbar.tmpl,v 1.6 2004-06-03 16:56:22 rurban Exp $');
   3     $s = $Theme->getButtonSeparator();
   4     $split = $Theme->_autosplitWikiWords;
   5     global $Theme;
   6     $Theme->setAutosplitWikiWords(true);
   7 ?>
   8 <!-- The top navigation/search bar -->
   9 <form action="<?= WikiURL(_("TitleSearch"))?>" target="_top"
  10       method="get" accept-charset="<?=CHARSET?>" style="display:inline">
  11 <div id="navbuttons">
  12 <!-- &middot; ?= WikiLink(_("RecentChanges"), "button") ? -->
  13 <input type="hidden" name="auto_redirect" value="1" />
  14 <?php if (! USE_PATH_INFO) { ?>
  15 <input type="hidden" name="pagename" value="<?=_("TitleSearch")?>" />
  16 <?php } ?>
  17 <input type="text"  name="s" size="12" maxlength="256"
  18              title='<?=_("Quick Search")?>'
  19              onmouseover="window.status='<?=_("Quick Search")?>'; return true;"
  20              onmouseout="window.status=''; return true;" /><?= Button(_("TitleSearch")) ?>
  21 <?=$s?><?= WikiLink(_("FindPage"), "button",_("Full Search")) ?>
  22 <?php if (0 and !empty($revision)) { ?>
  23 <?=$s?><?=WikiLink(_("BackLinks"), "button",_("Back Links")) ?>
  24 <?php } ?>
  25 <?php if (!empty($user) && $user->isAdmin()) { ?>
  26 <?=$s?><?= WikiLink(_("PhpWikiAdministration"), "button", _("Admin")) ?>
  27 <?php }
  28 $Theme->setAutosplitWikiWords($split); ?></div>
  29 </form>