remove unused code

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;
 }