[Plugin: Editor Syntax Highlighter] Doesn't work in WP 3.4.1

I saw this issue with another syntax highlighter plugin based on CodeMirror: after activating the plugin, when editing a file, the editor shows line numbers to the left, but no syntax coloring.

Examining the JavaScript console in Chrome 21 shows this error:

Uncaught TypeError: Object function CodeMirror(place, givenOptions) {
    // Determine effective options based on given values and defaults.
    var options = {}, defaults = CodeMirror.defaults;
    for (var opt in defaults)
....
  return instance;
  } has no method 'defineExtension'