Override: document usage with properties (PHP 8.5)

php/doc-en@9d31699

Author: mumumu

language/predefined/attributes/override.xml

@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="utf-8"?>
 <!-- $Revision$ -->
-<!-- EN-Revision: 7c125c7d4513a66bca7754b418ab56134a581eb1 Maintainer: mumumu Status: ready -->
+<!-- EN-Revision: 9d3169961438b1cc12d60183fea68dad8516842d Maintainer: mumumu Status: ready -->
 <reference xml:id="class.override" role="class" xmlns="http://docbook.org/ns/docbook" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xi="http://www.w3.org/2001/XInclude">
  <title>Override アトリビュート</title>
  <titleabbrev>Override</titleabbrev>
@@ -11,11 +11,11 @@
    &reftitle.intro;
    <simpara>
     このアトリビュートは、
-    親クラスのメソッドをオーバーライドしている意図があるか、
-    インターフェイスで定義されたメソッドを実装していることを示します。
+    親クラスのメソッドやプロパティをオーバーライドしている意図があるか、
+    インターフェイスで定義されたプロパティやメソッドを実装していることを示します。
    </simpara>
    <simpara>
-    親クラス中に同じ名前のメソッドが存在しなかったり、
+    親クラス中に同じ名前のメソッドやプロパティが存在しなかったり、
     実装されているインターフェイスがない場合は、
     コンパイル時にエラーが発生します。
    </simpara>
@@ -43,9 +43,33 @@
 
   </section>
 
+  <section role="changelog">
+   &reftitle.changelog;
+   <informaltable>
+    <tgroup cols="2">
+     <thead>
+      <row>
+       <entry>&Version;</entry>
+       <entry>&Description;</entry>
+      </row>
+     </thead>
+     <tbody>
+      <row>
+       <entry>8.5.0</entry>
+       <entry>
+        <classname>Override</classname> は、
+        プロパティにも適用できるようになりました。
+       </entry>
+      </row>
+     </tbody>
+    </tgroup>
+   </informaltable>
+  </section>
+
   <section>
    &reftitle.examples;
-   <informalexample>
+   <example>
+    <title>メソッドと一緒に使う</title>
     <programlisting role="php">
 <![CDATA[
 <?php
@@ -68,7 +92,32 @@ final class Extended extends Base {
 Fatal error: Extended::boo() has #[\Override] attribute, but no matching parent method exists
 ]]>
     </screen>
-   </informalexample>
+   </example>
+   <example>
+    <title>プロパティと一緒に使う</title>
+    <programlisting role="php">
+     <![CDATA[
+<?php
+
+class Base {
+    protected string $foo;
+}
+
+final class Extended extends Base {
+    #[\Override]
+    protected string $boo;
+}
+
+?>
+]]>
+    </programlisting>
+    &example.outputs.85.similar;
+    <screen>
+     <![CDATA[
+Fatal error: Extended::$boo has #[\Override] attribute, but no matching parent property exists
+]]>
+    </screen>
+   </example>
   </section>
 
   <section xml:id="override.seealso">