Update formatter with php.tools