From 1929241a62b67ebd9cc9831e372ab321874d03d1 Mon Sep 17 00:00:00 2001
From: Eiko Wagenknecht <git@eiko-wagenknecht.de>
Date: Fri, 23 Feb 2024 20:07:53 +0000
Subject: [PATCH] docs: update plugin documentation (#888)

---
 globals.d.ts |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/globals.d.ts b/globals.d.ts
index 0509f26..ee13005 100644
--- a/globals.d.ts
+++ b/globals.d.ts
@@ -8,5 +8,6 @@
   }
   interface Window {
     spaNavigate(url: URL, isBack: boolean = false)
+    addCleanup(fn: (...args: any[]) => void)
   }
 }

--
Gitblit v1.10.0