reference/spl/directoryiterator/getextension.xml
62126c55f1c6ed444043e7272c4f9e233818a44b
62126c55f1c6ed444043e7272c4f9e233818a44b
...
...
@@ -68,7 +68,7 @@ gz
68
68
Another way of getting the extension is to use the
69
69
<function>pathinfo</function> function.
70
70
</para>
71
-
<example>
71
+
<informalexample>
72
72
<programlisting role="php">
73
73
<![CDATA[
74
74
<?php
...
...
@@ -76,7 +76,7 @@ $extension = pathinfo($fileinfo->getFilename(), PATHINFO_EXTENSION);
76
76
?>
77
77
]]>
78
78
</programlisting>
79
-
</example>
79
+
</informalexample>
80
80
</note>
81
81
</refsect1>
82
82
83
83