5 <div id="logo"><a class="wikilink"
6 href="<?=WikiURL(HOME_PAGE)?>" target="_top"
7 ><img src="<?=$WikiTheme->getImageURL('logo')?>" id="logo-img"
8 border="0" alt="<?=fmt(_("%s: %s"), WIKI_NAME, HOME_PAGE) ?>"
9 align="right" /></a></div>
10 <!-- The top navigation/search bar -->
11 <div class="wikinavbar">
12 <a class="wikilink" href="<?=WikiURL(HOME_PAGE)?>" target="_top">
13 <?= WIKI_NAME ?></a> -
14 <!-- Wiki description here -->
17 <?php if (empty($GLOBALS['HIDE_TOOLBARS'])) { ?>
18 - <form action="<?= WikiURL(_("TitleSearch"))?>"
19 method="get" accept-charset="<?=$charset?>" style="display: inline">
20 <a class="wikilink" href="<?=WikiURL(_("RecentChanges"))?>"><?=_("RecentChanges")?></a>
21 - <a class="wikilink" href="<?=WikiURL(_("FindPage"))?>"><?=_("FindPage")?>:</a>
22 <input type="hidden" name="auto_redirect" value="1" />
23 <input type="text" name="s" size="12" maxlength="256"
24 title='<?=_("Quick Search")?>'
25 onmouseover="window.status='<?=_("Quick Search")?>'; return true;"
26 onmouseout="window.status=''; return true;" />
27 <?php if (!empty($user) && $user->isSignedIn()) { ?>
28 - <a class="wikilink" href="<?=WikiURL(_("UserPreferences"))?>"><?=_("Preferences")?>:</a>
29 <?php } // isSignedIn ?>
31 <?php if (empty($NOSIGNIN)) { ?>
32 <div class="signin"><?= Template('signin') ?></div>
33 <?php } // $NOSIGNIN?>
35 <?php } // HIDE_TOOLBARS ?>