Index: third_party/WebKit/public/web/WebFrame.h |
diff --git a/third_party/WebKit/public/web/WebFrame.h b/third_party/WebKit/public/web/WebFrame.h |
index 438808377bdedc3727e18aaa40c89997543ba52b..b74ef953348dcb0cac7df292aa754cd1a3c12fdd 100644 |
--- a/third_party/WebKit/public/web/WebFrame.h |
+++ b/third_party/WebKit/public/web/WebFrame.h |
@@ -385,6 +385,8 @@ public: |
// Stops any pending loads on the frame and its children. |
virtual void stopLoading() = 0; |
+ virtual void stopLoadingCheckCompletedNow() { } |
+ |
// Returns the data source that is currently loading. May be null. |
virtual WebDataSource* provisionalDataSource() const = 0; |