Update php.rst