finessed previous revision

RocketMan · Nov 1, 2024 · f749c62 · f749c62
1 parent bf71bec
commit f749c62
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/js/.jshandler.php b/js/.jshandler.php
@@ -51,7 +51,7 @@
     $uri = $_SERVER["REQUEST_URI"];
     $i = strrpos($uri, ".");
     $base = ($i !== false)?substr($uri, 0, $i):$uri;
-    header("SourceMap: ${base}.map");
+    header("SourceMap: {$base}.map");
 }
 
 // for HEAD requests, there is nothing more to do