Replacing PHP short tags