JetBrains/phpstorm-stubs

phpstorm-stubs - PHP runtime & extensions header files for PhpStorm