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