Whitespace and php shorthand