Update codemirror to 5.25.0

See release notes at https://codemirror.net/doc/releases.html

Change-Id: Ia55811afecc9bc6c2fcf0a0edaa9a35b05152ae4
diff --git a/WORKSPACE b/WORKSPACE
index fc074fc..e28772f 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -870,13 +870,13 @@
 maven_jar(
     name = "codemirror_minified",
     artifact = "org.webjars.npm:codemirror-minified:" + CM_VERSION,
-    sha1 = "27d5d8902b0c08c049f429575ff4f931e29d1664",
+    sha1 = "f84c178b11a188f416b4380bfb2b24f126453d28",
 )
 
 maven_jar(
     name = "codemirror_original",
     artifact = "org.webjars.npm:codemirror:" + CM_VERSION,
-    sha1 = "76088a0cdf869ae0935821ba6720b2e0ed3e9108",
+    sha1 = "5a1f6c10d5aef0b9d2ce513dcc1e2657e4af730d",
 )
 
 maven_jar(
diff --git a/lib/codemirror/cm.bzl b/lib/codemirror/cm.bzl
index fd56354..54d60d5 100644
--- a/lib/codemirror/cm.bzl
+++ b/lib/codemirror/cm.bzl
@@ -214,7 +214,7 @@
     "z80",
 ]
 
-CM_VERSION = "5.24.2"
+CM_VERSION = "5.25.0"
 
 TOP = "META-INF/resources/webjars/codemirror/%s" % CM_VERSION