fix wrong php version id in $_FILES

vimeo · Oct 17, 2022 · 41fbb14 · 41fbb14
1 parent 9218017
commit 41fbb14
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()),