Switch over to loading .js file

Gerrit no longer supports html plugins so we have
to use the .js version.

Bug: Issue 14335
Change-Id: Ied8a2ddcd9dcc13e341dd5a108738418631afc30
diff --git a/java/com/googlesource/gerrit/plugins/codemirror/CodemirrorModule.java b/java/com/googlesource/gerrit/plugins/codemirror/CodemirrorModule.java
index 0bba486..c1ccee3 100644
--- a/java/com/googlesource/gerrit/plugins/codemirror/CodemirrorModule.java
+++ b/java/com/googlesource/gerrit/plugins/codemirror/CodemirrorModule.java
@@ -23,6 +23,6 @@
   @Override
   protected void configure() {
     DynamicSet.bind(binder(), WebUiPlugin.class)
-        .toInstance(new JavaScriptPlugin("codemirror_editor.html"));
+        .toInstance(new JavaScriptPlugin("codemirror_editor.js"));
   }
 }