Update php.tex