added php.tex