Bump version post-5.25.2

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

package.json

 {
   "name": "codemirror",
-  "version": "5.25.2",
+  "version": "5.25.3",
   "main": "lib/codemirror.js",
   "description": "Full-featured in-browser code editor",
   "license": "MIT",

src/edit/main.js

@@ -66,4 +66,4 @@ import { addLegacyProps } from "./legacy"
 
 addLegacyProps(CodeMirror)
 
-CodeMirror.version = "5.25.2"
+CodeMirror.version = "5.25.3"