Fix loading stubs from phar file on Windows

Fixes #10747
vimeo · Feb 25, 2024 · 01dc2fe · 01dc2fe
1 parent 6c10ad2
commit 01dc2fe
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/src/Psalm/Config.php b/src/Psalm/Config.php
@@ -2326,6 +2326,10 @@ public function visitPreloadedStubFiles(Codebase $codebase, ?Progress $progress
 
         foreach ($stub_files as $file_path) {
             $file_path = str_replace(['/', '\\'], DIRECTORY_SEPARATOR, $file_path);
+            // fix mangled phar paths on Windows
+            if (strpos($file_path, 'phar:\\\\') === 0) {
+                $file_path = 'phar://'. substr($file_path, 7);
+            }
             $codebase->scanner->addFileToDeepScan($file_path);
         }
 
@@ -2423,6 +2427,10 @@ public function visitStubFiles(Codebase $codebase, ?Progress $progress = null):
 
         foreach ($stub_files as $file_path) {
             $file_path = str_replace(['/', '\\'], DIRECTORY_SEPARATOR, $file_path);
+            // fix mangled phar paths on Windows
+            if (strpos($file_path, 'phar:\\\\') === 0) {
+                $file_path = 'phar://' . substr($file_path, 7);
+            }
             $codebase->scanner->addFileToDeepScan($file_path);
         }