Update syntaxhighlighter.js