interface PushPermissionDescriptor implements PermissionDescriptorimport { type PushPermissionDescriptor } from "https://deno.land/x/evt@v2.5.2/lib/types/lib.dom.ts"; Propertiesname: "push"optionaluserVisibleOnly: boolean