<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