From 26846d670727be776289477c1b46c135a1091e46 Mon Sep 17 00:00:00 2001
From: Martin Pitt <mpitt@redhat.com>
Date: Thu, 17 Oct 2024 18:16:23 +0200
Subject: [PATCH] cockpit.js: Add missing options field to addEventListener()

See
https://developer.mozilla.org/en-US/docs/Web/API/EventTarget/addEventListener

Let's not add the `useCapture` boolean. It can be spelled out as
`{ capture: true }`.
---
 pkg/lib/cockpit.d.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkg/lib/cockpit.d.ts b/pkg/lib/cockpit.d.ts
index 819485d7f405..207be28a4942 100644
--- a/pkg/lib/cockpit.d.ts
+++ b/pkg/lib/cockpit.d.ts
@@ -77,7 +77,7 @@ declare module 'cockpit' {
         (event: CustomEvent<Parameters<E>>, ...args: Parameters<E>) => void;
 
     interface EventSource<EM extends EventMap> {
-        addEventListener<E extends keyof EM>(event: E, listener: EventListener<EM[E]>): void;
+        addEventListener<E extends keyof EM>(event: E, listener: EventListener<EM[E]>, options?: JsonObject): void;
         removeEventListener<E extends keyof EM>(event: E, listener: EventListener<EM[E]>): void;
         dispatchEvent<E extends keyof EM>(event: E, ...args: Parameters<EM[E]>): void;
     }