Update highlight.js core to version 7.5