1
0
mirror of https://github.com/danog/psalm.git synced 2025-01-22 05:41:20 +01:00

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

fix wrong php version id in $_FILES
This commit is contained in:
orklah 2022-10-17 23:58:25 +02:00 committed by GitHub
commit 4025ce7a30
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -760,7 +760,7 @@ class VariableFetchAnalyzer
]),
];
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()),