Vergleich admin/jscripts/codemirror/addon/fold/foldcode.js - 1.8.0 - 1.8.7

  Keine Änderungen   Hinzugefügt   Modifiziert   Entfernt
Zeile 142Zeile 142
      return editorOptions[name];
    return defaultOptions[name];
  }

 
      return editorOptions[name];
    return defaultOptions[name];
  }

 

  CodeMirror.defineExtension("foldOption", function(options, name) {
    return getOption(this, options, name);
  });

});

});