interface PushSubscriptionOptionsimport { type PushSubscriptionOptions } from "https://deno.land/x/windmill@v1.394.3/node_modules/evt/src/lib/types/lib.dom.ts"; PropertiesreadonlyapplicationServerKey: ArrayBuffer | nullreadonlyuserVisibleOnly: boolean