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