1 <!-- The top navigation/search bar -->
2 <form action="<?php echo WikiURL(_("TitleSearch"))?>"
3 method="get" accept-charset="UTF-8" id="searchform">
4 <input type="hidden" name="auto_redirect" value="1" />
5 <?php if (! USE_PATH_INFO) { ?>
6 <input type="hidden" name="pagename" value="<?php echo _("TitleSearch")?>" />
9 <table class="fullwidth">
10 <tr class="middle"><td class="align-left">
11 <?php echo WikiLink(_("RecentChanges"), "button") ?>
12 <?php if (!empty($revision)) { ?>
13 <?php echo $SEP?><?php echo Button("RelatedChanges", _("RelatedChanges")) ?>
14 <?php echo $SEP?><?php echo Button(_("LikePages"), _("LikePages")) ?>
15 <?php echo $SEP?><?php echo Button(_("BackLinks"), _("BackLinks")) ?>
18 <td class="align-right; width:150px">
20 <?php if (!empty($user) && $user->isSignedIn()) { ?>
21 <?php echo WikiLink(_("UserPreferences"), 'button', _("Preferences")) ?>
24 <?php if (!empty($user)) { ?>
26 /* Today's calendar page for the user, if the Calender subpage is defined. */
27 $UserCalPageTitle = $user->getId() . '/' . _("Calendar");
28 $dbi = $request->getDbh();
29 if ($dbi->isWikiPage($UserCalPageTitle)) {
30 $UserCalPageTodayTitle = $UserCalPageTitle . '/' . strftime("%Y-%m-%d", time());
31 //$UserCalPageTodayUrl = WikiURL($UserCalPageTodayTitle);
33 <?php echo WikiLink($UserCalPageTodayTitle, "button", _("Today")) ?>
36 <?php if (!empty($user) && $user->isAdmin()) { ?>
37 <?php echo WikiLink(_("PhpWikiAdministration"), "button", _("Admin")) ?><?php echo $SEP?>
40 <?php echo WikiLink(_("FindPage"), "button") ?><input type="text" id="livesearch" name="s" size="12"
42 onfocus="if (this.value == '<?php echo _("Search")?>') {this.value = '';}"
43 onmouseout="window.status=''; return true;"
44 onmouseover="window.status='<?php echo _("Search")?>'; return true;"
45 title="<?php echo _("TitleSearch")?>" />
47 </td></tr></table></div>