Fix up php short tags.