| Index: third_party/WebKit/Source/modules/permissions/PushPermissionDescriptor.idl
|
| diff --git a/third_party/WebKit/Source/modules/permissions/PushPermissionDescriptor.idl b/third_party/WebKit/Source/modules/permissions/PushPermissionDescriptor.idl
|
| index 952743d545e9cda8e02fefd6a3bcdcfc897fbe52..2cf1afbfb01d284f854a17a78daa9213da82e221 100644
|
| --- a/third_party/WebKit/Source/modules/permissions/PushPermissionDescriptor.idl
|
| +++ b/third_party/WebKit/Source/modules/permissions/PushPermissionDescriptor.idl
|
| @@ -3,6 +3,6 @@
|
| // found in the LICENSE file.
|
|
|
| dictionary PushPermissionDescriptor : PermissionDescriptor {
|
| - // See https://w3c.github.io/push-api/.
|
| + // https://w3c.github.io/push-api/#pushsubscriptionoptions-interface-and-dictionary
|
| boolean userVisibleOnly = false;
|
| };
|
|
|