alternate PHP syntax