Format php files