webinterface.git

1) <?php
2) 
3) $role = $_SESSION['role'];
4) 

5) 
6) if (($role & ROLE_CUSTOMER) || ($role & ROLE_SYSTEMUSER))

7) {

8)   $menu["domains_domains"] = array("label" => "Domains", "file" => "domains", "weight" => 1);