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 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()