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