Add Server-Timing support to devtools

third_party/WebKit/Source/devtools/front_end/sdk/NetworkRequest.js

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 47956d3318fa3d4c45dbded3376ed957b8006cfb..4f22986ec361c828206aa5c8b091c3a945d27ff0 100644
--- a/third_party/WebKit/Source/devtools/front_end/sdk/NetworkRequest.js
+++ b/third_party/WebKit/Source/devtools/front_end/sdk/NetworkRequest.js
@@ -726,6 +726,7 @@ WebInspector.NetworkRequest.prototype = {
     {
         this._responseHeaders = x;
         delete this._sortedResponseHeaders;
+        delete this._serverTimings;
         delete this._responseCookies;
         this._responseHeaderValues = {};
 
@@ -785,6 +786,16 @@ WebInspector.NetworkRequest.prototype = {
     },
 
     /**
+     * @return {?Array.<!WebInspector.ServerTiming>}
+     */
+    get serverTimings()
+    {
+        if (typeof this._serverTimings === "undefined")
+            this._serverTimings = WebInspector.ServerTiming.parseHeaders(this.target(), this.responseHeaders);
+        return this._serverTimings;
+    },
+
+    /**
      * @return {?string}
      */
     queryString: function()