2 <!-- $Id: navbar.tmpl,v 1.14 2002-09-02 14:36:59 rurban Exp $ -->
5 $s = $Theme->getButtonSeparator();
8 <!-- The top navigation/search bar -->
9 <form action="<?= WikiURL(_("TitleSearch"))?>" target="_top"
10 method="get" accept-charset="<?=CHARSET?>">
12 <?= WikiLink(_("RecentChanges"), "button") ?>
13 <?=$s?><?= WikiLink(_("FindPage"), "button") ?>
14 <?=$s?><input type="hidden" name="auto_redirect" value="1" />
15 <?php if (! USE_PATH_INFO) { ?>
16 <input type="hidden" name="pagename" value="<?=_("TitleSearch")?>" />
18 <input type="text" name="s" size="12" maxlength="256"
19 title='<?=_("Quick Search")?>'
20 onmouseover="window.status='<?=_("Quick Search")?>'; return true;"
21 onmouseout="window.status=''; return true;" />
22 <?php if (!empty($revision)) { ?>
23 <?=$s?><?= Button(_("LikePages")) ?>
24 <?=$s?><?= Button(_("BackLinks")) ?>
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 <?=$s?><?= WikiLink($UserCalPageTodayUrl, "button", _("Today")) ?>
37 <?php if (!empty($user) && $user->isAdmin()) { ?>
38 <?=$s?><?= WikiLink(_("PhpWikiAdministration"), "button", _("Admin")) ?>