From 06687642b5022c0e2aefa8b6f786f88883acc9f7 Mon Sep 17 00:00:00 2001 From: Andrew Murray Date: Tue, 28 Nov 2023 19:41:16 +1100 Subject: [PATCH] window.navigator has already been used --- docs/resources/js/activate_tab.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/resources/js/activate_tab.js b/docs/resources/js/activate_tab.js index c7e5ff057..92522b5ce 100644 --- a/docs/resources/js/activate_tab.js +++ b/docs/resources/js/activate_tab.js @@ -1,7 +1,7 @@ // Based on https://stackoverflow.com/a/38241481/724176 function getOS() { const userAgent = window.navigator.userAgent, - platform = window.navigator?.userAgentData?.platform || window.navigator.platform, + platform = window.navigator.userAgentData?.platform || window.navigator.platform, macosPlatforms = ["macOS", "Macintosh", "MacIntel", "MacPPC", "Mac68K"], windowsPlatforms = ["Win32", "Win64", "Windows", "WinCE"];