Disabled extension stubs
Reports the usages of classes, functions, and constants, for which the stubs for the corresponding PHP interpreter extensions are disabled.
You can configure the set of stubs under Settings | PHP | PHP Runtime.
See PhpStorm stubs (blog.jetbrains.com/phpstorm) for details.
PHP / PHP Runtime
PhpStorm 2023.3, Qodana for PHP 2023.3