Document readonly classes

Author: Girgias

language/oop5/basic.xml

@@ -125,6 +125,66 @@ Stack trace:
      </screen>
     </example>
    </warning>
+   
+   <sect3 xml:id="language.oop5.basic.class.readonly">
+    <title>Readonly classes</title>
+    <para>
+     As of PHP 8.2.0, a class can be marked with the
+     <literal>readonly</literal> modifier.
+     Marking a class as <literal>readonly</literal> will add the
+     <literal>readonly</literal> modifier to every declared property,
+     and prevent the creation of
+     <link linkend="language.oop5.properties.dynamic-properties">dynamic properties</link>.
+     Moreover, it is impossible to add support for them by using the
+     <code>#[AllowDynamicProperties]</code> attribute. Attempting to do so
+     will trigger a compile-time error.
+    </para>
+    <example>
+     <programlisting role="php">
+<![CDATA[
+<?php
+#[AllowDynamicProperties]
+readonly class Foo {
+}
+ 
+// Fatal error: Cannot apply #[AllowDynamicProperties] to readonly class Foo
+?>
+]]>
+     </programlisting>
+    </example>
+    
+    <para>
+     As neither untyped, nor static properties can be marked with the
+     <literal>readonly</literal> modifier, readonly classes cannot declare
+     them either:
+     <example>
+      <programlisting role="php">
+<![CDATA[
+<?php
+readonly class Foo
+{
+    public $bar;
+}
+ 
+// Fatal error: Readonly property Foo::$bar must have type
+?>
+]]>
+      </programlisting>
+      <programlisting role="php">
+<![CDATA[
+<?php
+readonly class Foo
+{
+    public static int $bar;
+}
+ 
+// Fatal error: Readonly class Foo cannot declare static properties
+?>
+]]>
+      </programlisting>
+     </example>
+    </para>
+   </sect3>
   </sect2>
 
   <sect2 xml:id="language.oop5.basic.new">