commit f6e6069bc616d2a7d8e51313abffdfcb41547779
author chenwilliam <chenwilliam@chromium.org> Mon Jul 18 21:42:14 2016
committer Commit bot <commit-bot@chromium.org> Mon Jul 18 21:43:54 2016
tree 0b4acabc69e7b25e6eb439928d9627d72aecfc8b
parent a100bde7399e5876e0ff61ac176b255eb6cf7e95

DevTools: Added empty implementation of navigationRequested method in frontend

This fixes the following Closure compiler error: "property navigationRequested on interface PageAgent.Dispatcher is not implemented by type WebInspector.PageDispatcher" in the file: ~/chromium/src/third_party/WebKit/Source/devtools/front_end/sdk/ResourceTreeModel.js:830. The override was missing in crrev.com/2132673002.

We can either leave this implementation empty if it's not needed by DevTools or implement it.

Review-Url: https://codereview.chromium.org/2160613003
Cr-Commit-Position: refs/heads/master@{#406106}