| Index: third_party/WebKit/Source/core/page/Page.h
|
| diff --git a/third_party/WebKit/Source/core/page/Page.h b/third_party/WebKit/Source/core/page/Page.h
|
| index 70e7adeaead866f8fdd4a6237815b44d2d7e0f02..2aaa32bd2010699f4d951291f5e88ede1ee19db3 100644
|
| --- a/third_party/WebKit/Source/core/page/Page.h
|
| +++ b/third_party/WebKit/Source/core/page/Page.h
|
| @@ -171,7 +171,7 @@ public:
|
| void setDeviceColorProfile(const Vector<char>&);
|
| void resetDeviceColorProfile();
|
|
|
| - static void allVisitedStateChanged();
|
| + static void allVisitedStateChanged(bool invalidateVisitedLinkHashes);
|
| static void visitedStateChanged(LinkHash visitedHash);
|
|
|
| PageVisibilityState visibilityState() const;
|
|
|