Update code-mirror.js