Bump version number post-5.47.0

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.47.0</span>
+      <span style="color: #888; font-size: 1rem; position: absolute; right: 0; bottom: 0">version 5.47.1</span>
     </h2>
 
     <p>CodeMirror is a code-editor component that can be embedded in

package.json

@@ -1,6 +1,6 @@
 {
   "name": "codemirror",
-  "version": "5.47.0",
+  "version": "5.47.1",
   "main": "lib/codemirror.js",
   "style": "lib/codemirror.css",
   "author": {

src/edit/main.js

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