<?

function dispMenu() {
  $str = '<div id="menu"><ul>';

  $str .= '<li><a href="index.php?section=Home" id="tabs_home" title="Accueil du site"><strong>Home</strong></a></li>';
  $str .= '<li><a href="index.php?section=Videos" id="tabs_members" title="Nos videos"><strong>Vid&eacute;os</strong></a></li>';
  $str .= '<li><a href="index.php?section=Members" id="tabs_cours" title="Nos Membres"><strong>Membres</strong></a></li>';
  if ($_SESSION["user_right"] >= 5)
    $str .= '<li><a href="index.php?section=AdminHome" id="tabs_cours" title="Toutes nos realisations"><strong>Admin</strong></a></li>';
  $str .= '<li><a href="index.php?section=Contacts" id="tabs_releases" title="Contactez nous"><strong>Contact</strong></a></li>';
  $str .= '</ul>';

  // connexion button
  $str .= '&nbsp;<img alt="" src="images/puce.png" />&nbsp;&nbsp;';
  $str .= '<a href="https://'.$_SERVER['HTTP_HOST'].'/index.php?section=Connection">';
  $str .= (($_SESSION["user_right"] > $GLOBALS["ANONYM"]) ? "D&eacute;connexion" : "Connexion");
  $str .= '</a>';
  $str .= "</div>";
  echo $str;
}

?>
