Index: third_party/WebKit/Source/devtools/front_end/sdk/NetworkRequest.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/sdk/NetworkRequest.js b/third_party/WebKit/Source/devtools/front_end/sdk/NetworkRequest.js |
index b6d620a7e52b1fd0586f3fc838a1275b80a35fb7..a7871aa83e53853fcd3c9dfd11626ef446a6b2ba 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/sdk/NetworkRequest.js |
+++ b/third_party/WebKit/Source/devtools/front_end/sdk/NetworkRequest.js |
@@ -731,6 +731,7 @@ WebInspector.NetworkRequest.prototype = { |
{ |
this._responseHeaders = x; |
delete this._sortedResponseHeaders; |
+ delete this._serverTimings; |
delete this._responseCookies; |
this._responseHeaderValues = {}; |
@@ -790,6 +791,16 @@ WebInspector.NetworkRequest.prototype = { |
}, |
/** |
+ * @return {?Array.<!WebInspector.ServerTiming>} |
+ */ |
+ get serverTimings() |
+ { |
+ if (typeof this._serverTimings === "undefined") |
+ this._serverTimings = WebInspector.ServerTiming.parseHeaders(this.responseHeaders); |
+ return this._serverTimings; |
+ }, |
+ |
+ /** |
* @return {?string} |
*/ |
queryString: function() |