diff --git a/build/gen_stub.php b/build/gen_stub.php index c0b02b03738..f3b3b5fcc75 100755 --- a/build/gen_stub.php +++ b/build/gen_stub.php @@ -725,11 +725,7 @@ class Type { } } else { $type = $this->types[0]; - if ($type->isBuiltin && strtolower($type->name) === "true") { - $name = "bool"; - } else { - $name = $type->name; - } + $name = $type->name; $typeElement = $doc->createElement('type', $name); }