webinterface.git

1) <?php

2) $menu = array();

3) 
4) $role = $_SESSION['role'];
5) 

6) if ($role & ROLE_SYSTEMUSER)

7) {

8)   $menu["mysql_databases"] = array("label" => "MySQL-Datenbank", "file" => "databases.php", "weight" => 20);

9)     
10) }
11) 

12) if (empty($menu))
13)   $menu = false;
14) 
15)