Use UNENCODED_URL instead of REQUEST_URI when UNENCODED_URL is set

In environments using URL Rewrite in IIS, since `REQUEST_URI` may be set to an invalid URL that has been URL encoded by URL Rewrite,
use `UNENCODED_URL`, which sets the request URL as is.

Author: abetomo

no.php

@@ -26,9 +26,12 @@
 $backend_url = "https://myapp.backend.com:3000/";
 $backend_info = parse_url($backend_url);
 $host = $_SERVER['HTTP_HOST'];
-$request_uri = $_SERVER['REQUEST_URI'];
 $uri_rel = "subdir/no.php"; # URI to this file relative to public_html
 
+// When using IIS with URL Rewrite, URL encoding may not work as expected, so use `UNENCODED_URL` instead.
+// https://learn.microsoft.com/en-us/iis/extensions/url-rewrite-module/url-rewrite-module-configuration-reference#preserving-original-url
+$request_uri = isset($_SERVER['UNENCODED_URL']) ? $_SERVER['UNENCODED_URL'] : $_SERVER['REQUEST_URI'];
+
 $request_includes_nophp_uri = true;
 if ( $request_includes_nophp_uri == false) {
     $request_uri = str_replace( $uri_rel, "/", $request_uri );