Move Web Notifications to use Mojo

third_party/WebKit/public/platform/Platform.h

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 06a6d53b268c84cbeacd53698f7e33b1ed77ca21..cbe793d2261cb8b720abeafd8a624caff0d7889f 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;
@@ -588,11 +587,6 @@ public:
     virtual WebDatabaseObserver* databaseObserver() { return nullptr; }
 
 
-    // Web Notifications --------------------------------------------------
-
-    virtual WebNotificationManager* notificationManager() { return nullptr; }
-
-
     // Geofencing ---------------------------------------------------------
 
     virtual WebGeofencingProvider* geofencingProvider() { return nullptr; }