GitHub repository: JetBrains/phpstorm-stubs
Primary language: PHP
Created: 2015-03-31T10:26:18Z
Description: PHP runtime & extensions header files for PhpStorm