interface PushSubscriptionimport { type PushSubscription } from "https://deno.land/x/windmill@v1.380.1/node_modules/evt/lib/types/lib.dom.d.ts"; This Push API interface provides a subcription's URL endpoint and allows unsubscription from a push service. Propertiesreadonlyendpoint: stringreadonlyexpirationTime: number | nullreadonlyoptions: PushSubscriptionOptionsMethodsgetKey(name: PushEncryptionKeyName): ArrayBuffer | nulltoJSON(): PushSubscriptionJSONunsubscribe(): Promise<boolean>