| 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..efa5961b676f64158fc303c06834ffdc2c2089b1 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/
|
| boolean userVisibleOnly = false;
|
| };
|
|
|