Provide a fallback for deprecated `codeMirror` references (see #5537)