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