Update syntaxhighlighter.php