PHP shorthand echo syntax