var CodeMirrorConfig=window.CodeMirrorConfig||{};var CodeMirror=(function(){function setDefaults(object,defaults){for(var option in defaults){if(!object.hasOwnProperty(option)) object[option]=defaults[option];}} function forEach(array,action){for(var i=0;i"];html.push("");forEach(options.stylesheet,function(file){html.push("");});forEach(options.basefiles.concat(options.parserfile),function(file){html.push("