From 4db4f0ba0063e852c1ca95788ce355b4dc47384f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?M=C3=A1t=C3=A9=20Kocsis?= <kocsismate@woohoolabs.com>
Date: Mon, 3 Jul 2023 16:01:05 +0200
Subject: [PATCH] Display the readonly modifier for readonly classes

---
 build/gen_stub.php | 4 ++++
 1 file changed, 4 insertions(+)

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());