Merge pull request #8600 from kkmuffme/fix-wrong-phpversion-id

fix wrong php version id in $_FILES
vimeo · Oct 17, 2022 · 4025ce7 · 4025ce7
2 parents 9218017 + 41fbb14
commit 4025ce7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Psalm/Internal/Analyzer/Statements/Expression/Fetch/VariableFetchAnalyzer.php b/src/Psalm/Internal/Analyzer/Statements/Expression/Fetch/VariableFetchAnalyzer.php
@@ -760,7 +760,7 @@ public static function getGlobalType(string $var_id, int $codebase_analysis_php_
                 ]),
             ];
 
-            if ($codebase_analysis_php_version_id >= 81000) {
+            if ($codebase_analysis_php_version_id >= 80100) {
                 $values['full_path'] = new Union([
                     new TString(),
                     new TNonEmptyList(Type::getString()),