From 5ec61468d5e787b3c8ae32a2b4ef1595cf0bc3ee Mon Sep 17 00:00:00 2001
From: Emile Bangma <ewjbangma@hotmail.com>
Date: Sun, 31 Mar 2024 16:44:50 +0000
Subject: [PATCH] fix(wikilinks): proper escaping of pipe character in wikilinks inside tables (#1040)
---
globals.d.ts | 3 ++-
1 files changed, 2 insertions(+), 1 deletions(-)
diff --git a/globals.d.ts b/globals.d.ts
index 4473d59..ee13005 100644
--- a/globals.d.ts
+++ b/globals.d.ts
@@ -4,9 +4,10 @@
type: K,
listener: (this: Document, ev: CustomEventMap[K]) => void,
): void
- dispatchEvent<K extends keyof CustomEventMap>(ev: CustomEventMap[K]): void
+ dispatchEvent<K extends keyof CustomEventMap>(ev: CustomEventMap[K] | UIEvent): void
}
interface Window {
spaNavigate(url: URL, isBack: boolean = false)
+ addCleanup(fn: (...args: any[]) => void)
}
}
--
Gitblit v1.10.0