| Index: third_party/WebKit/public/platform/Platform.h
|
| diff --git a/third_party/WebKit/public/platform/Platform.h b/third_party/WebKit/public/platform/Platform.h
|
| index ca5709731d9abcd693f94d9c2df94d8cf6a2ebef..ad0b1f8030def8168df5d09e284a7f01449f9b0c 100644
|
| --- a/third_party/WebKit/public/platform/Platform.h
|
| +++ b/third_party/WebKit/public/platform/Platform.h
|
| @@ -90,7 +90,6 @@ class WebMediaStreamTrack;
|
| class WebMemoryDumpProvider;
|
| class WebMessagePortChannel;
|
| class WebMimeRegistry;
|
| -class WebNotificationManager;
|
| class WebPermissionClient;
|
| class WebPluginListBuilder;
|
| class WebPrescientNetworking;
|
| @@ -586,11 +585,6 @@ public:
|
| virtual WebDatabaseObserver* databaseObserver() { return nullptr; }
|
|
|
|
|
| - // Web Notifications --------------------------------------------------
|
| -
|
| - virtual WebNotificationManager* notificationManager() { return nullptr; }
|
| -
|
| -
|
| // Geofencing ---------------------------------------------------------
|
|
|
| virtual WebGeofencingProvider* geofencingProvider() { return nullptr; }
|
|
|