redirect uses current page as default value

Author: simonLeary42

resources/lib/UnityHTTPD.php

@@ -32,8 +32,9 @@ public static function die(mixed $x = null, bool $show_user = false): never
         }
     }
 
-    public static function redirect($dest): never
+    public static function redirect(?string $dest = null): never
     {
+        $dest ??= pathJoin(CONFIG["site"]["prefix"], $_SERVER["REQUEST_URI"]);
         header("Location: $dest");
         self::errorToUser("Redirect failed, click <a href='$dest'>here</a> to continue.", 302);
         self::die();

resources/lib/utils.php

@@ -70,3 +70,15 @@ function mbDetectEncoding(string $string, ?array $encodings = null, mixed $_ = n
     }
     return $output;
 }
+
+/* https://stackoverflow.com/a/15575293/18696276 */
+function pathJoin()
+{
+    $paths = [];
+    foreach (func_get_args() as $arg) {
+        if ($arg !== "") {
+            $paths[] = $arg;
+        }
+    }
+    return preg_replace("#/+#", "/", join("/", $paths));
+}

resources/templates/header.php

@@ -16,7 +16,7 @@
     // header also needs to handle POST data. So this header does the PRG redirect
     // for all pages.
     unset($_POST); // unset ensures that header must not come before POST handling
-    UnityHTTPD::redirect(CONFIG["site"]["prefix"] . $_SERVER['REQUEST_URI']);
+    UnityHTTPD::redirect();
 }
 
 if (isset($SSO)) {