diff options
| -rw-r--r-- | includes/controller/user_angeltypes_controller.php | 2 | ||||
| -rw-r--r-- | includes/sys_page.php | 5 |
2 files changed, 4 insertions, 3 deletions
diff --git a/includes/controller/user_angeltypes_controller.php b/includes/controller/user_angeltypes_controller.php index 2f382bb4..dfc22a71 100644 --- a/includes/controller/user_angeltypes_controller.php +++ b/includes/controller/user_angeltypes_controller.php @@ -225,7 +225,7 @@ function user_angeltype_delete_controller() { * Update an UserAngelType. */ function user_angeltype_update_controller() { - global $user, $privileges; + global $privileges; if (! in_array('admin_angel_types', $privileges)) { error(_("You are not allowed to set coordinator rights.")); diff --git a/includes/sys_page.php b/includes/sys_page.php index 5a582c39..6863c517 100644 --- a/includes/sys_page.php +++ b/includes/sys_page.php @@ -10,7 +10,7 @@ function redirect($to) { /** * Echoes given output and dies. - * + * * @param String $output */ function raw_output($output) { @@ -30,8 +30,9 @@ function strip_request_item($name) { * eine ID sein könnte. */ function test_request_int($name) { - if (isset($_REQUEST[$name])) + if (isset($_REQUEST[$name])) { return preg_match("/^[0-9]*$/", $_REQUEST[$name]); + } return false; } |