c61521fa744024963e46a2d89065740866edfa98
bernd neues VHosts-Modul (unbenut...

bernd authored 16 years ago

1) <?php
2) 
3) $role = $_SESSION['role'];
4) 
5) if ($role & ROLE_SYSTEMUSER)
6) {
bernd eliminate .php extensions f...

bernd authored 15 years ago

7)     $menu["vhosts_vhosts"] = array("label" => "Webserver", "file" => "vhosts", "weight" => 1);