| 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) {
|
| + if (Host.isUnderTest())
|
| + return;
|
| + console.time(label);
|
| +};
|
| +
|
| +/**
|
| + * @param {string} label
|
| + */
|
| +Main.timeEnd = function(label) {
|
| + if (Host.isUnderTest())
|
| + return;
|
| + console.timeEnd(label);
|
| +};
|
|
|