Bernd Wurst authored 13 years ago
1) <?php 2) 3) $role = $_SESSION['role']; 4)
bernd authored 13 years ago
5) if ($role & ROLE_SYSTEMUSER && $role & ROLE_CUSTOMER) {