and tinymce SyntaxHighlighter plugin