From 5d5dcd396fdd62af24253c2492148e97e3ee7119 Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Fri, 11 Feb 2022 11:20:33 +0100
Subject: [PATCH] would be nice if we could return a cacnonical path to the cli
 server

---
 docs/.router.php | 23 +++++++++++++++--------
 1 file changed, 15 insertions(+), 8 deletions(-)

diff --git a/docs/.router.php b/docs/.router.php
index 9287598..7fa045e 100644
--- a/docs/.router.php
+++ b/docs/.router.php
@@ -1,16 +1,23 @@
 <?php
 
-$file = __DIR__ . urldecode($_SERVER["REQUEST_URI"]);
-error_log("uri:$file\n");
+$uri = urldecode($_SERVER["REQUEST_URI"]);
 
-if (is_file($file)) {
-	return false;
+if (strpos($uri, "/ext-ion") === 0) {
+    $uri = substr($uri, strlen("/ext-ion"));
 }
-
-if (is_dir($file) && file_exists($file."/index.html")) {
-	readfile($file."/index.html");
+$file = rtrim(__DIR__ . $uri, "/");
+if (is_file($file)) {
+    switch (pathinfo($file, PATHINFO_EXTENSION)) {
+        case "js":  header("content-type: text/javascript"); break;
+        case "css": header("content-type: text/css"); break;
+        case "php":
+        case "": header("content-type: text-plain"); break;
+    }
+	readfile($file);
+} elseif (is_dir($file) && file_exists("$file/index.html")) {
+	readfile("$file/index.html");
 } else {
-	$file = rtrim($file, "/").".html";
+	$file .= ".html";
 	if (file_exists($file)) {
 		readfile($file);
 	} else {
-- 
2.30.2