Widget:Guides/PlatformSwitcher: Difference between revisions
No edit summary |
No edit summary |
||
| Line 22: | Line 22: | ||
<script type="module" defer> | <script type="module" defer> | ||
const containers = document.querySelectorAll('.platform | const containers = document.querySelectorAll('.platform'); | ||
const plat = navigator.platform; | const plat = navigator.platform; | ||
| Line 32: | Line 32: | ||
switch_thing(os); | switch_thing(os); | ||
const os_radio = document.querySelector(`[value=${os}]`); | |||
os_radio.checked = true; | |||
const fieldset = document.getElementById("platform-switcher"); | const fieldset = document.getElementById("platform-switcher"); | ||