diff --git a/doc/manual.html b/doc/manual.html
index 160fafad6e88900b66b466ce70190f32d91b0956..62d1801c8df90e43f6be9abd8b6b27a4e9cdc66e 100644
--- a/doc/manual.html
+++ b/doc/manual.html
@@ -69,7 +69,7 @@
 <section class=first id=overview>
     <h2 style="position: relative">
       User manual and reference guide
-      <span style="color: #888; font-size: 1rem; position: absolute; right: 0; bottom: 0">version 5.25.2</span>
+      <span style="color: #888; font-size: 1rem; position: absolute; right: 0; bottom: 0">version 5.25.3</span>
     </h2>
 
     <p>CodeMirror is a code-editor component that can be embedded in
diff --git a/package.json b/package.json
index 111b77a4f12dd06fd5fcb06820400ff2bfba4f60..dbff5cbdf8f007f02b17ec4a2a44a7f83c895067 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "codemirror",
-  "version": "5.25.2",
+  "version": "5.25.3",
   "main": "lib/codemirror.js",
   "description": "Full-featured in-browser code editor",
   "license": "MIT",
diff --git a/src/edit/main.js b/src/edit/main.js
index 531d030046153d9876b5f534f0782db6061df90d..e9dd8b8ae944cd32ddd226b5baa3b54ed9875c79 100644
--- a/src/edit/main.js
+++ b/src/edit/main.js
@@ -66,4 +66,4 @@ import { addLegacyProps } from "./legacy"
 
 addLegacyProps(CodeMirror)
 
-CodeMirror.version = "5.25.2"
+CodeMirror.version = "5.25.3"