DevTools: report timeline progress while recording.

Source/devtools/front_end/TimelineManager.js

Index: Source/devtools/front_end/TimelineManager.js
diff --git a/Source/devtools/front_end/TimelineManager.js b/Source/devtools/front_end/TimelineManager.js
index 0c507a5977b0040c421f7ff47ffe698d5b11239b..c297b3f8e1317ec55673288cf58d7e9556374e10 100644
--- a/Source/devtools/front_end/TimelineManager.js
+++ b/Source/devtools/front_end/TimelineManager.js
@@ -43,7 +43,8 @@ WebInspector.TimelineManager = function()
 WebInspector.TimelineManager.EventTypes = {
     TimelineStarted: "TimelineStarted",
     TimelineStopped: "TimelineStopped",
-    TimelineEventRecorded: "TimelineEventRecorded"
+    TimelineEventRecorded: "TimelineEventRecorded",
+    TimelineProgress: "TimelineProgress"
 }
 
 WebInspector.TimelineManager.prototype = {
@@ -138,6 +139,11 @@ WebInspector.TimelineDispatcher.prototype = {
     {
         this._started = false;
         this._manager.dispatchEventToListeners(WebInspector.TimelineManager.EventTypes.TimelineStopped, consoleTimeline);
+    },
+
+    progress: function(count)
+    {
+        this._manager.dispatchEventToListeners(WebInspector.TimelineManager.EventTypes.TimelineProgress, count);
     }
 }