deedc3e35d94c0d716ccb63996c7d4cafd95267d
bernd webinterface => /webinterface

bernd authored 17 years ago

1) <?php
bernd MenĂ¼-Includes sinnvoller /...

bernd authored 16 years ago

2) $menu = array();
bernd webinterface => /webinterface

bernd authored 17 years ago

3) 
4) $role = $_SESSION['role'];
5) 
6) switch ($role)
7) {
8)   case ROLE_SYSTEMUSER:
9)     $menu["mysql_databases"] = array("label" => "MySQL-Datenbank", "file" => "databases.php", "weight" => 20);
10)     
11) }
12) 
bernd MenĂ¼-Includes sinnvoller /...

bernd authored 16 years ago

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