Delete codemirror.js