6e6b6d2f074d7b478a3e6b19c3aa6df1ecdea586
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);