import { type dom } from "https://deno.land/x/evt@v2.4.16/lib/types/index.ts";
const { PushManager } = dom;
This Push API interface provides a way to receive notifications from third-party servers as well as request URLs for push notifications.
Methods
getSubscription(): Promise<PushSubscription | null>
permissionState(options?: PushSubscriptionOptionsInit): Promise<PushPermissionState>
subscribe(options?: PushSubscriptionOptionsInit): Promise<PushSubscription>