php short tag fix