()
| 81 | } |
| 82 | |
| 83 | function urlChangeReload() { |
| 84 | const oldHref = window.location.href; |
| 85 | let interval = setInterval(() => { |
| 86 | let newHref = window.location.href; |
| 87 | if (oldHref !== newHref) { |
| 88 | clearInterval(interval); |
| 89 | window.location.reload(); |
| 90 | } |
| 91 | }, 500); |
| 92 | } |
| 93 | |
| 94 | function stopMedia(media) { |
| 95 | if (!media) { |