git.schokokeks.org
Repositories
Help
Report an Issue
webinterface.git
Code
Commits
Branches
Tags
Suche
Strukturansicht:
63a0529
Branches
Tags
master
ticket
webinterface.git
modules
domains
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_CUSTOMER) || ($role & ROLE_SYSTEMUSER)) { $menu["domains_domains"] = array("label" => "Domains", "file" => "domains", "weight" => 1); } ?>
