Update documentation for branch developing

Author: github-actions

developing/footer.js

@@ -1,7 +1,7 @@
 function writeHeader() {
-    document.write('Version 1.2.6-dev213');
+    document.write('Version 1.2.6-dev214');
 };
 
 function writeFooter()  {
-    document.write('Generated on Wed Feb 11 2026 08:57:35 for Arm-2D 1.2.6-dev213+g2672183. Copyright © 2022-2026 Arm Limited (or its affiliates). All rights reserved.');
+    document.write('Generated on Wed Feb 11 2026 09:46:08 for Arm-2D 1.2.6-dev214+g9be1db0. Copyright © 2022-2026 Arm Limited (or its affiliates). All rights reserved.');
 };

version.js

@@ -1,6 +1,6 @@
 //--- list of versions ---
 const versions = {
-    "developing": "1.2.6-dev213",
+    "developing": "1.2.6-dev214",
     "main": "1.2.6-dev1",
     "latest": "1.2.5",
     "v1.2.4": "1.2.4",