@deprecated("use dom.PermissionDescriptor instead", "2.0.0")
@deprecated("use dom.PermissionName instead", "2.0.0")
@deprecated("use dom.PermissionState instead", "2.0.0")
@deprecated("use dom.PermissionStatus instead", "2.0.0")
@deprecated("use dom.Permissions instead", "2.0.0")
@deprecated("use dom.Navigator instead", "2.0.0")
@deprecated("use dom.PushPermissionDescriptor instead", "2.0.0")