Stubs for PHP core and third-party extensions for auto-completion, or static analysis - View it on GitHub