Replace short_tags with full PHP tags.