* https://github.com/JetBrains/phpstorm-stubs/pull/893 * https://github.com/JetBrains/phpstorm-stubs/pull/894 * https://github.com/JetBrains/phpstorm-stubs/pull/895 * https://github.com/JetBrains/phpstorm-stubs/pull/896 Signed-off-by: Morris Jobke <hey@morrisjobke.de>
Signed-off-by: Morris Jobke <hey@morrisjobke.de>