Index: chrome/renderer/security_filter_peer.h |
diff --git a/chrome/renderer/security_filter_peer.h b/chrome/renderer/security_filter_peer.h |
index 3452a052e74424d3e5c6d3c4a879fff7076740fe..e6c1b8fb150a9d1242223155f27b030bc258cb32 100644 |
--- a/chrome/renderer/security_filter_peer.h |
+++ b/chrome/renderer/security_filter_peer.h |
@@ -43,6 +43,7 @@ class SecurityFilterPeer : public webkit_glue::ResourceLoaderBridge::Peer { |
virtual void OnCompletedRequest( |
int error_code, |
bool was_ignored_by_handler, |
+ bool stale_copy_in_cache, |
const std::string& security_info, |
const base::TimeTicks& completion_time) OVERRIDE; |
@@ -75,6 +76,7 @@ class BufferedPeer : public SecurityFilterPeer { |
virtual void OnCompletedRequest( |
int error_code, |
bool was_ignored_by_handler, |
+ bool stale_copy_in_cache, |
const std::string& security_info, |
const base::TimeTicks& completion_time) OVERRIDE; |
@@ -119,6 +121,7 @@ class ReplaceContentPeer : public SecurityFilterPeer { |
virtual void OnCompletedRequest( |
int error_code, |
bool was_ignored_by_handler, |
+ bool stale_copy_in_cache, |
const std::string& security_info, |
const base::TimeTicks& completion_time) OVERRIDE; |