Index: third_party/WebKit/Source/core/fetch/Resource.h |
diff --git a/third_party/WebKit/Source/core/fetch/Resource.h b/third_party/WebKit/Source/core/fetch/Resource.h |
index 70428fc06439fa2947416d13f9a3cb08b2b4ef80..0b5d62088e0aac05039107c644653fa92ba17ced 100644 |
--- a/third_party/WebKit/Source/core/fetch/Resource.h |
+++ b/third_party/WebKit/Source/core/fetch/Resource.h |
@@ -248,9 +248,12 @@ public: |
// Used by the MemoryCache to reduce the memory consumption of the entry. |
void prune(); |
+ virtual void myPrune() {} |
virtual void onMemoryDump(WebMemoryDumpLevelOfDetail, WebProcessMemoryDump*) const; |
+ bool isReloadable() const; |
+ |
static const char* resourceTypeToString(Type, const FetchInitiatorInfo&); |
protected: |