language/predefined/attributes/override.xml
f94d903985119d3ac00f4528551df947f57b667f
...
...
@@ -30,7 +30,7 @@
30
30

31
31
<section>
32
32
&reftitle.examples;
33
-
<example>
33
+
<informalexample>
34
34
<programlisting role="php">
35
35
<![CDATA[
36
36
<?php
...
...
@@ -53,7 +53,7 @@ final class Extended extends Base {
53
53
Fatal error: Extended::boo() has #[\Override] attribute, but no matching parent method exists
54
54
]]>
55
55
</screen>
56
-
</example>
56
+
</informalexample>
57
57
</section>
58
58

59
59
<section xml:id="override.seealso">
60
60