Update php.tools