File rtd_switcher.js

Doc/tools/static/rtd_switcher.js:None–None

 function onSwitch(event) {
     const option = event.target.selectedIndex;
     const item = event.target.options[option];
     window.location.href = item.dataset.url;