Reformat php files