63a0529b21bfd97a4ef395e8d3d3f513526357c6
bernd neues VHosts-Modul (unbenut...

bernd authored 17 years ago

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

bernd authored 16 years ago

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