diff --git a/build/gen_stub.php b/build/gen_stub.php index 203f8241d2a..d597d30a72f 100755 --- a/build/gen_stub.php +++ b/build/gen_stub.php @@ -5659,6 +5659,10 @@ foreach ($fileInfos as $fileInfo) { foreach ($fileInfo->classInfos as $classInfo) { $classMap[$classInfo->name->__toString()] = $classInfo; + + if ($classInfo->alias !== null) { + $classMap[$classInfo->alias] = $classInfo; + } } }