From b5352df78226c20334b971af7c92a1a3a2356673 Mon Sep 17 00:00:00 2001
From: evykassirer <evy@zulip.com>
Date: Tue, 1 Oct 2024 22:20:32 -0700
Subject: [PATCH] ui_util: Fix elem type in play_audio to match how it's
 called.

---
 web/src/ui_util.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/src/ui_util.ts b/web/src/ui_util.ts
index e06aa68dc6..bb71cbddf5 100644
--- a/web/src/ui_util.ts
+++ b/web/src/ui_util.ts
@@ -169,7 +169,7 @@ export function parse_html(html: string): DocumentFragment {
  * any interactive trigger like a button. See
  * https://developer.mozilla.org/en-US/docs/Web/API/HTMLMediaElement/play for more details.
  */
-export async function play_audio(elem: HTMLVideoElement): Promise<void> {
+export async function play_audio(elem: HTMLAudioElement): Promise<void> {
     try {
         await elem.play();
     } catch (error) {