From 4e846141d3f5af4133872a0df1d270c9d9bbacc0 Mon Sep 17 00:00:00 2001
From: Alexander Ebert <ebert@woltlab.com>
Date: Fri, 15 Nov 2024 15:41:38 +0100
Subject: [PATCH] Add `<woltlab-core-toggle-button>` to the `global.d.ts`

---
 ts/global.d.ts | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/ts/global.d.ts b/ts/global.d.ts
index e17ba42deb..66ed95510d 100644
--- a/ts/global.d.ts
+++ b/ts/global.d.ts
@@ -124,6 +124,12 @@ declare global {
     set url(url: string);
   }
 
+  interface WoltlabCoreToggleButtonElement extends HTMLElement {
+    toggle(): void;
+    get checked(): boolean;
+    set checked(checked: boolean);
+  }
+
   interface HTMLElementTagNameMap {
     "fa-brand": FaBrand;
     "fa-icon": FaIcon;
@@ -132,9 +138,10 @@ declare global {
     "woltlab-core-date-time": WoltlabCoreDateTime;
     "woltlab-core-file": WoltlabCoreFileElement;
     "woltlab-core-file-upload": WoltlabCoreFileUploadElement;
+    "woltlab-core-google-maps": WoltlabCoreGoogleMapsElement;
     "woltlab-core-loading-indicator": WoltlabCoreLoadingIndicatorElement;
     "woltlab-core-pagination": WoltlabCorePaginationElement;
-    "woltlab-core-google-maps": WoltlabCoreGoogleMapsElement;
     "woltlab-core-reaction-summary": WoltlabCoreReactionSummaryElement;
+    "woltlab-core-toggle-button": WoltlabCoreToggleButtonElement;
   }
 }
-- 
2.20.1