interface PushManagerimport { type PushManager } from "https://deno.land/x/windmill@v1.361.1/node_modules/evt/lib/types/lib.dom.d.ts"; This Push API interface provides a way to receive notifications from third-party servers as well as request URLs for push notifications. MethodsgetSubscription(): Promise<PushSubscription | null>permissionState(options?: PushSubscriptionOptionsInit): Promise<PushPermissionState>subscribe(options?: PushSubscriptionOptionsInit): Promise<PushSubscription>