WebIDLpedia

Definition

Push API defines PushPermissionDescriptor

dictionary PushPermissionDescriptor : PermissionDescriptor {
  boolean userVisibleOnly = false;
};