Updated formatter config for new php-formatter version