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