<?php$role = $_SESSION['role'];if ($role & ROLE_CUSTOMER){$menu["dns_dns"] = array("label" => "DNS-Einträge", "file" => "dns", "weight" => 1, "submenu" => "domains_domains");$menu["dns_dyndns"] = array("label" => "DynDNS", "file" => "dyndns", "weight" => 2, "submenu" => "domains_domains");}?>