Fix php short open tag.