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