Updated Codemirror to 4.2 (to match the version that comes with CKeditor)