Merge pull request #246609 from WilliButz/update/highlight-4.7
highlight: 4.6 -> 4.7
authored by davidak and committed by GitHub 2 years ago dddd25ed 97bd6588