interface dom.PushPermissionDescriptor implements PermissionDescriptorimport { type dom } from "https://deno.land/x/evt@v2.5.3/mod.ts"; const { PushPermissionDescriptor } = dom; Propertiesname: "push"optionaluserVisibleOnly: boolean