admin_menu.php

<?
function dispAdminMenu() {
  $str = '</tr>';
  if ($_SESSION["user_right"] >= $GLOBALS["PRIV_GUEST"])
    $str .= '<div><a href="index.php?html=AdminHome&section_admin=AdminVideos" class="texte_link">Videos</a></div>';

  if ($_SESSION["user_right"] >= $GLOBALS["EPTV"]) {
    $str .= '<div><a href="index.php?html=AdminHome&section_admin=AdminNews" class="texte_link">News</a></div>';
    $str .= '<div><a href="index.php?html=AdminHome&section_admin=AdminEdito" class="texte_link">Edito</a></div>';
    $str .= '<div><a href="index.php?html=AdminHome&section_admin=AdminLinks" class="texte_link">Links</a></div>';
    $str .= '<div><a href="index.php?html=AdminHome&section_admin=AdminMembers" class="texte_link">EPTV Members</a></div>';
    $str .= '<div><a href="index.php?html=AdminHome&section_admin=AdminUsers" class="texte_link">EPTV Fans</a></div>';
    $str .= '<div><a href="index.php?html=AdminHome&section_admin=AdminBlacklist" class="texte_link">Blacklist</a></div>';
    $str .= '<div><a href="munin/" target="_blank" class="texte_link">Munin</a></div>';
    $str .= '<div><a href="phpmyadmin/" target="_blank" class="texte_link">PHPMyAdmin</a></div>';
  }
  return $str;
}