highlight.js version 7.5