themes/smaller/templates/navbar.tmpl

   1 <?php // -*-php-*-
   2 // $Id$
   3 ?>
   4 <!-- The top navigation/search bar -->
   5 <form action="<?php echo WikiURL(_("TitleSearch"))?>"
   6       method="get" accept-charset="<?php echo $charset?>">
   7   <div id="navbuttons">
   8    <?php echo WikiLink(_("RecentChanges"), "","News") ?>
   9    <?php echo $SEP?><?php echo WikiLink(_("FindPage"), "","Search:") ?>
  10    <input type="hidden" name="auto_redirect" value="1" />
  11       <input type="text"  name="s" size="12" maxlength="256"
  12              title='<?php echo _("Quick Search")?>'
  13              onmouseover="window.status='<?php echo _("Quick Search")?>'; return true;"
  14              onmouseout="window.status=''; return true;" />
  15     <?php if (!empty($revision)) { ?>
  16      <?php echo $SEP?><?php echo Button(array('action'=>_("LikePages")),_("LikePages"),$page->getName()) ?>
  17      <?php echo $SEP?><?php echo Button(array('action'=>_("BackLinks")), _("BackLinks"),$page->getName()) ?>
  18     <?php } ?>
  19     <?php if (!empty($user) && $user->isAdmin()) { ?>
  20      <?php echo $SEP?><?php echo WikiLink(_("PhpWikiAdministration"), "","Admin") ?>
  21     <?php } ?>
  22     <?php if (!empty($user) && $user->isSignedIn()) { ?>
  23      <?php echo $SEP?><?php echo WikiLink(_("UserPreferences"), "","Preferences") ?>
  24     <?php } ?>
  25   </div>
  26 </form>