[Plugin: Advanced Code Editor] Syntax coloring doesn't work – CodeMirror JS error

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'

http://wordpress.org/extend/plugins/advanced-code-editor/