4 <!-- The top navigation/search bar -->
5 <form action="<?php echo WikiURL(_("TitleSearch"))?>"
6 method="get" accept-charset="<?php echo $charset?>" id="searchform">
7 <input type="hidden" name="auto_redirect" value="1" />
8 <?php if (! USE_PATH_INFO) { ?>
9 <input type="hidden" name="pagename" value="<?php echo _("TitleSearch")?>" />
12 <table width="100%" cellpadding="0" cellspacing="0" border="0">
13 <tr valign="middle"><td align="left">
14 <?php echo WikiLink(_("RecentChanges"), "button") ?>
15 <?php if (!empty($revision)) { ?>
16 <?php echo $SEP?><?php echo Button("RelatedChanges", _("RelatedChanges")) ?>
17 <?php echo $SEP?><?php echo Button("LikePages", _("LikePages")) ?>
18 <?php echo $SEP?><?php echo Button("BackLinks", _("BackLinks")) ?>
21 <td align="right" width="150">
23 <?php if (!empty($user) && $user->isSignedIn()) { ?>
24 <?php echo WikiLink(_("UserPreferences"),'button',_("Preferences")) ?><?php echo $SEP?>
26 <?php if (!empty($user)) { ?>
28 /* Today's calendar page for the user, if the Calender subpage is defined. */
29 $UserCalPageTitle = $user->getId() . SUBPAGE_SEPARATOR . _("Calendar");
30 $dbi = $request->getDbh();
31 if ($dbi->isWikiPage($UserCalPageTitle)) {
32 $UserCalPageTodayTitle = $UserCalPageTitle . SUBPAGE_SEPARATOR . strftime("%Y-%m-%d", time());
33 //$UserCalPageTodayUrl = WikiURL($UserCalPageTodayTitle);
35 <?php echo WikiLink($UserCalPageTodayTitle, "button", _("Today")) ?><?php echo $SEP?>
37 <?php if (!empty($user) && $user->isAdmin()) { ?>
38 <?php echo WikiLink(_("PhpWikiAdministration"), "button", _("Admin")) ?><?php echo $SEP?>
41 <?php echo WikiLink(_("FindPage"), "button") ?><input type="text" id="livesearch" name="s" size="12"
43 onfocus="if (this.value == '<?php echo _("Search")?>') {this.value = '';}"
44 onmouseout="window.status=''; return true;"
45 onmouseover="window.status='<?php echo _("Search")?>'; return true;"
46 <?php if (ENABLE_LIVESEARCH) { ?>
47 title="<?php echo _("LiveSearch")?>"
48 onKeypress="liveSearchStart()"
49 onblur="setTimeout('closeResults()',2000); if (this.value == '') {this.value = '<?php echo _("Search")?>';}" />
50 </div><br /><div align="left" id="LSResult"></div>
52 title="<?php echo _("TitleSearch")?>" />
55 </td></tr></table></div>