Index: third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js b/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js |
index d370cfb8a2d0c94f68228f092690bb841c09ff3e..b4e50fb69298d36935fe023dc7b76da4981d0c7d 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js |
+++ b/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js |
@@ -141,6 +141,9 @@ WebInspector.NetworkManager.prototype = { |
this._networkAgent.setCacheDisabled(enabled); |
}, |
+ /** |
+ * @override |
+ */ |
dispose: function() |
{ |
WebInspector.moduleSetting("cacheDisabled").removeChangeListener(this._cacheDisabledSettingChanged, this); |