bernd authored 16 years ago
1) <?php 2) 3) $role = $_SESSION['role']; 4) 5) if ($role & ROLE_SYSTEMUSER) 6) {
7) $menu["freewvs_freewvs"] = array("label" => "freewvs", "file" => "freewvs.php", "weight" => 1, "submenu" => "vhosts_vhosts");