| Index: third_party/WebKit/Source/devtools/front_end/sdk/ServerTiming.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/sdk/ServerTiming.js b/third_party/WebKit/Source/devtools/front_end/sdk/ServerTiming.js
|
| index ab06bc20cfab3c5e0cb5828f5f8fc3abc233fda9..a5117c19b5b5e1b0cbac2835fcdecaea83eb6aa2 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/sdk/ServerTiming.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/sdk/ServerTiming.js
|
| @@ -13,7 +13,7 @@ WebInspector.ServerTiming = function(metric, value, description)
|
| this.metric = metric;
|
| this.value = value;
|
| this.description = description;
|
| -}
|
| +};
|
|
|
| /**
|
| * @param {!Array<!WebInspector.NetworkRequest.NameValue>} headers
|
| @@ -54,4 +54,4 @@ WebInspector.ServerTiming.parseHeaders = function(headers)
|
| }, []);
|
| serverTimings.sort((a, b) => a.metric.toLowerCase().compareTo(b.metric.toLowerCase()));
|
| return serverTimings;
|
| -}
|
| +};
|
|
|