2 rcs_id('$Id: navbar.tmpl,v 1.5 2004-04-09 17:49:11 rurban Exp $');
3 $s = $Theme->getButtonSeparator();
4 /* Fixme: This doesn't work as expected.
5 _autosplitWikiWords must be set to true in themeinfo.php */
6 $split = $Theme->_autosplitWikiWords;
8 $Theme->setAutosplitWikiWords(true);
10 <!-- The top navigation/search bar -->
11 <form action="<?= WikiURL(_("TitleSearch"))?>" target="_top"
12 method="get" accept-charset="<?=CHARSET?>" style="display:inline">
14 <!-- · ?= WikiLink(_("RecentChanges"), "button") ? -->
15 <input type="hidden" name="auto_redirect" value="1" />
16 <?php if (! USE_PATH_INFO) { ?>
17 <input type="hidden" name="pagename" value="<?=_("TitleSearch")?>" />
19 <input type="hidden" name="nocache" value="purge" />
20 <input type="text" name="s" size="12" maxlength="256"
21 title='<?=_("Quick Search")?>'
22 onmouseover="window.status='<?=_("Quick Search")?>'; return true;"
23 onmouseout="window.status=''; return true;" /><?= Button(_("TitleSearch"), _("?")) ?>
24 <?=$s?><?= WikiLink(_("FindPage"), "button",_("Full Search")) ?>
25 <?php if (0 and !empty($revision)) { ?>
26 <?=$s?><?= Button("BackLinks", _("BackLinks")) ?>
28 <?php if (!empty($user) && $user->isAdmin()) { ?>
29 <?=$s?><?= WikiLink(_("PhpWikiAdministration"), "button", _("Admin")) ?>
31 $Theme->setAutosplitWikiWords($split); ?></div>