Updating min. PHP to 5.3.7, formatting