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 width="fullwidth">
10 <tr class="middle"><td 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 align="right" width="150">
20 <?php if (!empty($user) && $user->isSignedIn()) { ?>
21 <?php echo WikiLink(_("UserPreferences"),'button',_("Preferences")) ?><?php echo $SEP?>
23 <?php if (!empty($user)) { ?>
25 /* Today's calendar page for the user, if the Calender subpage is defined. */
26 $UserCalPageTitle = $user->getId() . SUBPAGE_SEPARATOR . _("Calendar");
27 $dbi = $request->getDbh();
28 if ($dbi->isWikiPage($UserCalPageTitle)) {
29 $UserCalPageTodayTitle = $UserCalPageTitle . SUBPAGE_SEPARATOR . strftime("%Y-%m-%d", time());
30 //$UserCalPageTodayUrl = WikiURL($UserCalPageTodayTitle);
32 <?php echo WikiLink($UserCalPageTodayTitle, "button", _("Today")) ?><?php echo $SEP?>
34 <?php if (!empty($user) && $user->isAdmin()) { ?>
35 <?php echo WikiLink(_("PhpWikiAdministration"), "button", _("Admin")) ?><?php echo $SEP?>
38 <?php echo WikiLink(_("FindPage"), "button") ?><input type="text" id="livesearch" name="s" size="12"
40 onfocus="if (this.value == '<?php echo _("Search")?>') {this.value = '';}"
41 onmouseout="window.status=''; return true;"
42 onmouseover="window.status='<?php echo _("Search")?>'; return true;"
43 <?php if (ENABLE_LIVESEARCH) { ?>
44 title="<?php echo _("LiveSearch")?>"
45 onKeypress="liveSearchStart()"
46 onblur="setTimeout('closeResults()',2000); if (this.value == '') {this.value = '<?php echo _("Search")?>';}" />
47 </div><br /><div align="left" id="LSResult"></div>
49 title="<?php echo _("TitleSearch")?>" />
52 </td></tr></table></div>