Index: third_party/WebKit/Source/devtools/front_end/main/Timer.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/main/Timer.js b/third_party/WebKit/Source/devtools/front_end/main/Timer.js |
new file mode 100644 |
index 0000000000000000000000000000000000000000..a8baec61b4dc622e745a9c5c2da9fba3528231dd |
--- /dev/null |
+++ b/third_party/WebKit/Source/devtools/front_end/main/Timer.js |
@@ -0,0 +1,17 @@ |
+/** |
+ * @param {string} label |
+ */ |
+Main.time = function(label) { |
dgozman
2017/04/25 21:08:28
Merge this into Main.js.
chenwilliam
2017/06/15 01:01:05
Done.
|
+ if (Host.isUnderTest()) |
+ return; |
+ console.time(label); |
+}; |
+ |
+/** |
+ * @param {string} label |
+ */ |
+Main.timeEnd = function(label) { |
+ if (Host.isUnderTest()) |
+ return; |
+ console.timeEnd(label); |
+}; |