kernel/renderer.php

@@ -38,7 +38,7 @@ class Renderer {
         global $controlrow;
         global $numqueries;
         global $starttime;
-        
+
         $this->prepare("STYLE_FOLDER", '/theme/default/');
         $this->prepare("dkgamename", $controlrow["gamename"]);
         $this->prepare("totaltime", round(getmicrotime() - $starttime, 4));
@@ -49,4 +49,9 @@ class Renderer {
         echo $this->twig->render($template, $this->data);
         die();
     }
+
+    public function redirect($redirection) {
+        header("Location: " . $redirection);
+        die();
+    }
 }