Update PHP.rst