GitHub - JetBrains/phpstorm-stubs: PHP runtime & extensions header files for PhpStorm

PHP runtime & extensions header files for PhpStorm - JetBrains/phpstorm-stubs
github.com github.com