diff --git a/build/gen_stub.php b/build/gen_stub.php index 5abd867be29..16afc39a913 100755 --- a/build/gen_stub.php +++ b/build/gen_stub.php @@ -3017,6 +3017,10 @@ class ClassInfo { $ooElement->appendChild($doc->createElement('modifier', 'abstract')); $ooElement->appendChild(new DOMText("\n$indentation ")); } + if ($classInfo->flags & Class_::MODIFIER_READONLY) { + $ooElement->appendChild($doc->createElement('modifier', 'readonly')); + $ooElement->appendChild(new DOMText("\n$indentation ")); + } } $nameElement = $doc->createElement("{$type}name", $classInfo->name->toString());