remove unused code

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."));

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