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; |
-} |
+}; |