highlight.js version updated