Update syntaxhighlighter.min.js