2 rcs_id('$Id: navbar.tmpl,v 1.8 2005-02-04 11:45:54 rurban Exp $');
3 $split = $WikiTheme->_autosplitWikiWords;
4 $WikiTheme->setAutosplitWikiWords(true);
6 <!-- The top navigation/search bar -->
7 <form action="<?= WikiURL(_("TitleSearch"))?>" target="_top"
8 method="get" accept-charset="<?=$charset?>" style="display:inline">
10 <!-- · ?= WikiLink(_("RecentChanges"), "button") ? -->
11 <input type="hidden" name="auto_redirect" value="1" />
12 <?php if (! USE_PATH_INFO) { ?>
13 <input type="hidden" name="pagename" value="<?=_("TitleSearch")?>" />
15 <input type="text" name="s" size="12" maxlength="256"
16 title='<?=_("Quick Search")?>'
17 onmouseover="window.status='<?=_("Quick Search")?>'; return true;"
18 onmouseout="window.status=''; return true;" /><?
19 // remove the class from the href AND img for the annoying box
20 $button = Button(_("TitleSearch"));
21 $button->setAttr('class', false);
22 if (isset($button->_content[0])) $button->_content[0]->setAttr('class', false);
23 echo $button->asXml();
24 ?><?=$SEP?><?= WikiLink(_("FindPage"), "button",_("Full Search")) ?>
25 <?php if (0 and !empty($revision)) { ?>
26 <?=$SEP?><?=WikiLink(_("BackLinks"), "button",_("Back Links")) ?>
28 <?php if (!empty($user) && $user->isAdmin()) { ?>
29 <?=$SEP?><?= WikiLink(_("PhpWikiAdministration"), "button", _("Admin")) ?>
31 $WikiTheme->setAutosplitWikiWords($split); ?></div>