<header>
<div id="top_bar">
<div id="menu"><?php
make_menu_link();
?>
</div>
<div id="lang"><?php
make_lang_link();
?>
</div>
</div>
<div id="connect"><?php
if (empty($_GET['f'])) {
make_connect_link();
}
?>
</div>
<?php
if (!is_user_connected() || !empty($_GET['f'])) {
?>
<a id="logo" href="index.php">ShareMe</a>
<p class="slogan"><?php
echo e('Drag, drop, share.');
?>
</p>
</span>
<span id="lang">
<?php
/* you can change the generated link using another pattern as argument (keep the # tags !):
'<a #CLASS href="index.php?p=#PAGE&lang=#LANG&token=#TOKEN">#LANG</a>'*/
make_lang_link();
?>
</span>
<div style="clear:both"></div>
</div>
<div id="connect">
<?php
if (empty($_GET['f'])) {
/* you can add labels if you want like make_connect_link('Admin','Logout','Connection') */
make_connect_link(' ', ' ', e('Connect', false));
}
?>
</div>
<?php
if (is_user_connected() && !empty($page) && empty($_GET['f'])) {
?>
<div id="search" >
<form action="index.php" method="get" class="searchform">
<input type="text" class="npt" name="filter" value="<?php
if (!empty($_SESSION['filter'])) {
echo $_SESSION['filter'];
}
?>
" title="<?php
