Improve Reflection API type hinting#1810

uuf6429 wants to merge 1 commit intoJetBrains:masterJetBrains/phpstorm-stubs:masterfrom

uuf6429:improved-reflectionuuf6429/phpstorm-stubs:improved-reflectionCopy head branch name to clipboard