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