DevTools: fix closure compilation by adding missing override to ResourceTreeModel

third_party/WebKit/Source/devtools/front_end/sdk/ResourceTreeModel.js

Index: third_party/WebKit/Source/devtools/front_end/sdk/ResourceTreeModel.js
diff --git a/third_party/WebKit/Source/devtools/front_end/sdk/ResourceTreeModel.js b/third_party/WebKit/Source/devtools/front_end/sdk/ResourceTreeModel.js
index 9d810da91373e690c4bac7ba9515fb1c4664819b..19b13f188e9160eb2f2cd7c406680ebe9cccbbed 100644
--- a/third_party/WebKit/Source/devtools/front_end/sdk/ResourceTreeModel.js
+++ b/third_party/WebKit/Source/devtools/front_end/sdk/ResourceTreeModel.js
@@ -981,5 +981,16 @@ WebInspector.PageDispatcher.prototype = {
     interstitialHidden: function()
     {
         // Frontend is not interested in interstitials.
+    },
+
+    /**
+     * @override
+     * @param {boolean} isInMainFrame
+     * @param {boolean} isRedirect
+     * @param {number} navigationId
+     * @param {string} url
+     */
+    navigationRequested: function(isInMainFrame, isRedirect, navigationId, url)
+    {
     }
 }