Um den Fehler im SyntaxHighliter zu beseitigen füge einfach den folgenden Block in das Plugin syntaxhighlighter.php ein.
function kagg_syntaxhighlighter_precode( $code, $atts, $tag )
{
if ( 'code' === $tag )
{
$code = wp_specialchars_decode( $code );
}
return $code;
}
add_filter('syntaxhighlighter_precode', 'kagg_syntaxhighlighter_precode', 10, 3 );