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 1cd8eadd508411fbc30eae829d55b32ea68cdd6d..5906794be7cbbed080ce1cd9e3a6e97eb1c010c4 100644
--- a/third_party/WebKit/Source/devtools/front_end/sdk/NetworkRequest.js
+++ b/third_party/WebKit/Source/devtools/front_end/sdk/NetworkRequest.js
@@ -728,6 +728,7 @@ WebInspector.NetworkRequest.prototype = {
     {
         this._responseHeaders = x;
         delete this._sortedResponseHeaders;
+        delete this._serverTimings;
         delete this._responseCookies;
         this._responseHeaderValues = {};
 
@@ -787,6 +788,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()