diff --git a/static/js/notifications.js b/static/js/notifications.js index b483a480ab..95eab73889 100644 --- a/static/js/notifications.js +++ b/static/js/notifications.js @@ -28,8 +28,6 @@ const notice_memory = new Map(); // case after a server-initiated reload. let window_focused = document.hasFocus && document.hasFocus(); -let supports_sound; - let NotificationAPI; export function set_notification_api(n) { @@ -69,14 +67,6 @@ export function get_notifications() { return notice_memory; } -function get_audio_file_path(audio_element, audio_file_without_extension) { - if (audio_element.canPlayType('audio/ogg; codecs="vorbis"')) { - return audio_file_without_extension + ".ogg"; - } - - return audio_file_without_extension + ".mp3"; -} - export function initialize() { $(window) .on("focus", () => { @@ -95,40 +85,18 @@ export function initialize() { window_focused = false; }); - const audio = $("