<?php $menu = array(); $role = $_SESSION['role']; if (($role & ROLE_CUSTOMER) || ($role & ROLE_SYSTEMUSER)) { $menu["domains_domains"] = array("label" => "Domains", "file" => "domains.php", "weight" => 1); } if (empty($menu)) $menu = false; ?>