From fff53bc26bc1e481352c71952f856d62f4fb273d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Francesco=20Munaf=C3=B2?= <github@eSurfers.com>
Date: Fri, 4 Jul 2025 15:35:21 +0200
Subject: [PATCH] Fix PHP PATH_INFO

---
 server.php | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/server.php b/server.php
index a2b01e42e..febaa4355 100644
--- a/server.php
+++ b/server.php
@@ -1,5 +1,22 @@
 <?php
 
+
+// FIX PHP PATH_INFO
+
+$originalRequestUri = $_SERVER['REQUEST_URI'];
+$path = parse_url($_SERVER['REQUEST_URI'], PHP_URL_PATH);
+
+// Needs patch
+if (substr($path, -strlen($_SERVER['PATH_INFO'])) == $_SERVER['PATH_INFO']) {
+    // Cut away PHP PATH_INFO from REQUEST_URI to find the correct file later
+    $_SERVER['REQUEST_URI'] =
+        substr($path, 0, -strlen($_SERVER['PATH_INFO'])) // Remove PATH_INFO: page.php/remove/additional/path
+        . substr($_SERVER['REQUEST_URI'], strlen($path)); // Restore GET parameters '?param=what&ever=floats'
+}
+unset($path); // Don't leave global garbage around
+
+// END FIX PHP PATH_INFO
+
 require_once './cli/includes/require-drivers.php';
 require_once './cli/Valet/Server.php';
 
@@ -107,4 +124,8 @@
 
 chdir(dirname($frontControllerPath));
 
+// After the file is found recover the original REQUEST_URI
+$_SERVER['REQUEST_URI'] = $originalRequestUri;
+unset($originalRequestUri); // Don't leave useless globals around
+
 require $frontControllerPath;