7da094bcb55a7e03bb016cadfabbcbe13f54d6f0
bernd webinterface => /webinterface

bernd authored 17 years ago

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

bernd authored 16 years ago

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

bernd authored 17 years ago

5) $role = $_SESSION['role'];
6) 
bernd * Initialisierung der Sessi...

bernd authored 16 years ago

7) 
8) if (($role & ROLE_CUSTOMER) || ($role & ROLE_SYSTEMUSER))
bernd webinterface => /webinterface

bernd authored 17 years ago

9) {
bernd * Initialisierung der Sessi...

bernd authored 16 years ago

10)   $menu["domains_domains"] = array("label" => "Domains", "file" => "domains.php", "weight" => 1);
bernd webinterface => /webinterface

bernd authored 17 years ago

11) }
12) 
bernd MenĂ¼-Includes sinnvoller /...

bernd authored 16 years ago

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