GitHub repository: DmitryTronin/phpstorm-stubs
Primary language: PHP
Description: PHP runtime & extensions header files for PhpStorm