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