replace php short tag