git.schokokeks.org
Repositories
Help
Report an Issue
webinterface.git
Code
Commits
Branches
Tags
Suche
Strukturansicht:
63a0529
Branches
Tags
master
ticket
webinterface.git
modules
mysql
menu.php
eliminate .php extensions for URLs
bernd
commited
63a0529
at 2008-08-08 19:32:32
menu.php
Blame
History
Raw
<?php $role = $_SESSION['role']; if ($role & ROLE_SYSTEMUSER) { $menu["mysql_databases"] = array("label" => "MySQL-Datenbank", "file" => "databases", "weight" => 20); } ?>
