diff --git a/front_end/externs.js b/front_end/externs.js
index 925c138..ace7420 100644
--- a/front_end/externs.js
+++ b/front_end/externs.js
@@ -544,7 +544,7 @@
 };
 /** @type {!{cursorDiv: Element, lineSpace: Element, gutters: Element}} */
 CodeMirror.prototype.display;
-/** @type {!{mode: string, lineWrapping: boolean}} */
+/** @type {!{devtoolsAccessibleName: string, mode: string, lineWrapping: boolean}} */
 CodeMirror.prototype.options;
 /** @type {!Object} */
 CodeMirror.Pass;