danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-11-30 04:39:00 +01:00
Code Issues Projects Releases Wiki Activity

Automatically load stubs for random ext on PHP 8.2

Browse Source
This commit is contained in:
Alies Lapatsin 2023-01-12 12:52:45 +01:00
parent 6bcd3bffe3
commit fc72214bfc
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Psalm/Config.php
View File

@ -2207,6 +2207,7 @@ class Config
if ($codebase->analysis_php_version_id >= 8_02_00) {
$stringable_path = $dir_lvl_2 . DIRECTORY_SEPARATOR . 'stubs' . DIRECTORY_SEPARATOR . 'Php82.phpstub';
$this->internal_stubs[] = $stringable_path;
$this->php_extensions['random'] = true; // random is a part of the PHP core starting from PHP 8.2
}
$ext_stubs_dir = $dir_lvl_2 . DIRECTORY_SEPARATOR . "stubs" . DIRECTORY_SEPARATOR . "extensions";