@@ -324,6 +324,14 @@ if (window.location.href.includes("docs")) {
324324 animateFill: false,
325325 animation: 'fade'
326326 })
327+
328+ let docsSelect = document.getElementById('docsSelect');
329+ let goTo = function() {
330+ let url = docsSelect.options[docsSelect.selectedIndex].value;
331+ document.location.assign(url);
332+ }
333+
334+ docsSelect.addEventListener('change', goTo);
327335}
328336
329337// same-page navigation on-scroll behaviour
@@ -384,12 +392,4 @@ window.addEventListener("scroll", event => {
384392// }
385393// })
386394//
387−})};
388−
389−let docsSelect = document.getElementById('docsSelect');
390−let goTo = function() {
391− let url = docsSelect.options[docsSelect.selectedIndex].value;
392− document.location.assign(url);
393−}
394−
395−docsSelect.addEventListener('change', goTo);
395+})};