| Index: third_party/WebKit/public/web/WebDataSource.h
|
| diff --git a/third_party/WebKit/public/web/WebDataSource.h b/third_party/WebKit/public/web/WebDataSource.h
|
| index e3f89fd5bbac4ca18196b989b796b39c28e5ac07..544a1c3870b1a9b7c797b9b294f358a2847f6190 100644
|
| --- a/third_party/WebKit/public/web/WebDataSource.h
|
| +++ b/third_party/WebKit/public/web/WebDataSource.h
|
| @@ -108,7 +108,7 @@ public:
|
| // Sets timing and attributes of the navigation.
|
| // Ordinarily, they are determined in WebCore, but when the navigation is
|
| // handled by the client, they can be passed here.
|
| - virtual void updateNavigationTimings(double redirectStartTime, double redirectEndTime, double fetchStartTime, const WebVector<WebURL>& redirectChain) = 0;
|
| + virtual void updateNavigation(double redirectStartTime, double redirectEndTime, double fetchStartTime, const WebVector<WebURL>& redirectChain) = 0;
|
|
|
| // Allows the embedder to inject a filter that will be consulted for each
|
| // subsequent subresource load, and gets the final say in deciding whether
|
|
|