deedc3e35d94c0d716ccb63996c7d4cafd95267d
bernd webinterface => /webinterface

bernd authored 17 years ago

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

bernd authored 17 years ago

3) $menu = array();
4) 
bernd webinterface => /webinterface

bernd authored 17 years ago

5) $role = $_SESSION['role'];
6) 
7) switch ($role)
8) {
9)   case ROLE_ANONYMOUS:
10)     break;
11)   default:
12)     $menu["domains_domains"] = array("label" => "Domains", "file" => "domains.php", "weight" => 1);
13)     
14) }
15) 
bernd MenĂ¼-Includes sinnvoller /...

bernd authored 17 years ago

16) if (empty($menu))
17)   $menu = false;
18)