Update php-formatting bin