4 <!-- The top navigation/search bar -->
5 <form action="<?php echo WikiURL(_("TitleSearch"))?>"
6 method="get" accept-charset="<?php echo $charset?>">
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()) ?>
19 <?php if (!empty($user) && $user->isAdmin()) { ?>
20 <?php echo $SEP?><?php echo WikiLink(_("PhpWikiAdministration"), "","Admin") ?>
22 <?php if (!empty($user) && $user->isSignedIn()) { ?>
23 <?php echo $SEP?><?php echo WikiLink(_("UserPreferences"), "","Preferences") ?>