Use php short tag