63a0529b21bfd97a4ef395e8d3d3f513526357c6
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 eliminate .php extensions f...

bernd authored 16 years ago

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