From c97f6c6c7101d4b337d94595b4759858ad81d5d2 Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <anders@zulip.com>
Date: Thu, 2 May 2024 12:11:48 -0700
Subject: [PATCH] loading: Remove dead data-spinner_obj access.

As of commit 7b00bd6f7e9ffe274543f00e7dbcb87b9c3f1746, this no longer
exists.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
---
 web/src/loading.ts | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/web/src/loading.ts b/web/src/loading.ts
index 8150c5b9d7..9b14b9737f 100644
--- a/web/src/loading.ts
+++ b/web/src/loading.ts
@@ -74,12 +74,6 @@ export function destroy_indicator($container: JQuery): void {
         return;
     }
     $container.data("destroying", true);
-
-    const spinner = $container.data("spinner_obj");
-    if (spinner !== undefined) {
-        spinner.stop();
-    }
-    $container.removeData("spinner_obj");
     $container.empty();
     $container.css({width: 0, height: 0});
 }