cm.html -> codemirror_editor.html

Bug: Issue 9432
Change-Id: I2395a4177c4ec6fbad12828f84f0a4994d1fbdaa
diff --git a/java/com/googlesource/gerrit/plugins/codemirror/CodemirrorModule.java b/java/com/googlesource/gerrit/plugins/codemirror/CodemirrorModule.java
index c56ae5b..eab7860 100644
--- a/java/com/googlesource/gerrit/plugins/codemirror/CodemirrorModule.java
+++ b/java/com/googlesource/gerrit/plugins/codemirror/CodemirrorModule.java
@@ -22,6 +22,6 @@
 public class CodemirrorModule extends RestApiModule {
   @Override
   protected void configure() {
-    DynamicSet.bind(binder(), WebUiPlugin.class).toInstance(new JavaScriptPlugin("cm.html"));
+    DynamicSet.bind(binder(), WebUiPlugin.class).toInstance(new JavaScriptPlugin("codemirror_editor.html"));
   }
 }