Extension:Highlight.js integration