475a8c30cfba78f17a90e40443793406e6dabef5
bernd webinterface => /webinterface

bernd authored 17 years ago

1) <?php
2) 
3) $role = $_SESSION['role'];
4) 
bernd * Initialisierung der Sessi...

bernd authored 17 years ago

5) if ($role & ROLE_SYSTEMUSER)
bernd webinterface => /webinterface

bernd authored 17 years ago

6) {
bernd * Initialisierung der Sessi...

bernd authored 17 years ago

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