Replacing PHP short tags (continued...)