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