Add: CodeMirror release 4.7.0 - Google グループ