From 96afd390e926f1f00fa5b5495cffebe3165796ea Mon Sep 17 00:00:00 2001
From: Jean-Baptiste Kaiser <jb@marmelab.com>
Date: Wed, 26 Oct 2022 12:31:52 +0200
Subject: [PATCH] [Doc] Fix navigation panel version in 404.html

---
 docs/404.html | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/docs/404.html b/docs/404.html
index 80beb5edf5c..a6465f5a887 100644
--- a/docs/404.html
+++ b/docs/404.html
@@ -44,6 +44,27 @@
 <p><a href="#" onClick="history.go(-1); return false;">Go back</a></p>
 
 <script>
+    // helper function to replace the Navigation content
+    function replaceNavigationContent(text) {
+        var tmpElement = document.createElement('div');
+        tmpElement.innerHTML = text;
+        var content = document.querySelector('.sidenav');
+        content.innerHTML = tmpElement.querySelector('.sidenav').innerHTML;
+        buildPageToC();
+    }
+
+    // helper function to fetch the Navigation content for the current version and
+    // replace it in the DOM
+    function replaceNavigationWithVersion(version) {
+        var location = document.location.href.split('#')[0];
+        var locationSlices = location.split('/');
+        var href = [...locationSlices.slice(0, locationSlices.length - 2), version, 'Readme.html'].join('/');
+        // fetch the new content
+        fetch(href)
+            .then(res => res.text())
+            .then(replaceNavigationContent);
+    }
+
     let docPageRoot;
     const docPageRegexp = /(.*\/doc\/\d+\.\d+\/).*/;
     const versionRegexp = /.*\/doc\/(\d+\.\d+)\/.*/;
@@ -62,5 +83,8 @@
             'doc-version-number'
         )[1].innerText = version;
         document.getElementById('doc-version').style.display = 'block';
+
+        // Replace the Navigation content with the one for the current version
+        replaceNavigationWithVersion(version);
     }
 </script>