Updating php.tools