PHP whitespace changes (personal preference)