update highlight.js to 7.4