From 9d38642e9d62ab3e0d1ef1eed4b5dc8c82ad83b9 Mon Sep 17 00:00:00 2001
From: Zeroday BYTE <47859767+odaysec@users.noreply.github.com>
Date: Fri, 28 Feb 2025 11:46:09 +0700
Subject: [PATCH] Update header-web.html

---
 .../wiredtiger/src/docs/style/header-web.html         | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/src/third_party/wiredtiger/src/docs/style/header-web.html b/src/third_party/wiredtiger/src/docs/style/header-web.html
index ec15f09bba310..e3e9f55cddda2 100644
--- a/src/third_party/wiredtiger/src/docs/style/header-web.html
+++ b/src/third_party/wiredtiger/src/docs/style/header-web.html
@@ -39,7 +39,16 @@
     },false);
      </script>
 
-     <select id="version_select" onchange="window.location=window.location.href.replace('$projectbrief',this.value);">
+     <script type="text/javascript">
+     function updateLocation(value) {
+       var allowedValues = ["$projectbrief", "stable", "develop", "mongodb-3.2", "mongodb-3.4"];
+       if (allowedValues.includes(value)) {
+         window.location = window.location.href.replace('$projectbrief', value);
+       }
+     }
+     </script>
+
+     <select id="version_select" onchange="updateLocation(this.value);">
        <option name="$projectbrief" value="$projectbrief">$projectnumber</option>
        <option name="stable" value="stable">Latest stable release</option>
        <option name="develop" value="develop">Current develop branch</option>