just format php files