PHP short tag fix