Updating with php.tools