Remove obsolete PHP 5 related info

This commit is contained in:
Christoph M. Becker 2021-02-08 10:42:44 +01:00
parent 2d031e7e94
commit e7ae971d84

View file

@ -12,7 +12,7 @@
<section xml:id="json.installation">
&reftitle.install;
<para>
As of PHP 5.2.0, the JSON extension is bundled and compiled into PHP by
The JSON extension is bundled and compiled into PHP by
default.
</para>
<para>