From 48b7810e24029820331149740c9570f82b8ede8f Mon Sep 17 00:00:00 2001
From: Nicolas Merget <nicolas.merget@deutschebahn.com>
Date: Wed, 17 Dec 2025 10:43:47 +0100
Subject: [PATCH] chore: enhance release selector options and improve
 initialization logic

---
 docs/javascripts/release-selector.js | 16 +++++++++++-----
 1 file changed, 11 insertions(+), 5 deletions(-)

diff --git a/docs/javascripts/release-selector.js b/docs/javascripts/release-selector.js
index 6217663..4477670 100644
--- a/docs/javascripts/release-selector.js
+++ b/docs/javascripts/release-selector.js
@@ -10,8 +10,10 @@ class ReleaseSelector {
       macos: "macOS",
       android: "Android",
       ios: "iOS",
-      "web-no": "Web (No Threads)",
-      "web-yes": "Web (With Threads)",
+      "web-nothreads": "Web (No Threads, No extension support)",
+      "web-dlink-nothreads": "Web (No Threads, With extension support)",
+      "web-dlink": "Web (With Threads, With extension support)",
+      web: "Web (With Threads, No extension support)",
     };
 
     this.engines = {
@@ -414,7 +416,11 @@ class ReleaseSelector {
   }
 }
 
-// Initialize when DOM is loaded
-document.addEventListener("DOMContentLoaded", () => {
+// Initialize when DOM is loaded or immediately if already loaded
+if (document.readyState === "loading") {
+  document.addEventListener("DOMContentLoaded", () => {
+    new ReleaseSelector();
+  });
+} else {
   new ReleaseSelector();
-});
+}