Add redirection if accessed with '.html' extension

Brings the behavior more in line with Neocities

1 files changed, 5 insertions, 1 deletions

diff --git a/dev-server.php b/dev-server.php
index dea55ab..0577fdd 100644
--- a/dev-server.php
+++ b/dev-server.php
@@ -27,8 +27,12 @@ $is_static = false;
 $name = ltrim($name, "/");
 if (str_starts_with($name, "static/"))
     $is_static = true;
-elseif (str_ends_with($name, ".html"))
+elseif (str_ends_with($name, ".html")) {
     $name = preg_replace('/\.html$/', "", $name);
+    http_response_code(302);
+    header("Location: /$name");
+    exit;
+}
 
 $include_file = FALLBACK_FILE;