fixed php short tag