Devtools Animations: Support multiple frames in the animation timeline

Source/devtools/protocol.json

Index: Source/devtools/protocol.json
diff --git a/Source/devtools/protocol.json b/Source/devtools/protocol.json
index c91580bfc73618a83779b68b3c586f41c618b284..5a664e3de59e71a89bf7d10c17f41881556d2a4e 100644
--- a/Source/devtools/protocol.json
+++ b/Source/devtools/protocol.json
@@ -4871,6 +4871,15 @@
                     { "name": "easing", "type": "string", "description": "<code>AnimationNode</code>'s timing function." }
                 ],
                 "description": "Keyframe Style"
+            },
+            {
+                "id": "AnimationStartTime",
+                "type": "object",
+                "properties": [
+                    { "name": "id", "type": "string", "description": "<code>AnimationPlayer</code>'s id." },

[pfeldman, 2015/04/01 13:06:45]

For the ids, we typically introduce a separate type "AnimationPlayerId" in this
case that inherits from string. Then we call parameters using full qualified
names such as animationPlayerId: AnimationPlayerId.

[samli, 2015/04/02 09:58:00]

Done.

+                    { "name": "startTime", "type": "number", "description": "Updated normalized <code>AnimationPlayer</code>'s start time." }

[pfeldman, 2015/04/01 13:06:45]

Is this monotonicallyIncreasingTime or wall?

[samli, 2015/04/02 09:58:00]

Monotonically increasing time.

+                ],
+                "description": "Map from animation id to animation start time"
             }
         ],
         "commands": [
@@ -4902,12 +4911,18 @@
                 "parameters": [
                     { "name": "playbackRate", "type": "number", "description": "Playback rate for animations on page" }
                 ],
+                "returns": [
+                    { "name": "animationStartTimes", "type": "array", "items": { "$ref": "AnimationStartTime" }, "description": "List of updated animation start times." }
+                ],
                 "description": "Sets the playback rate of the document timeline."
             },
             {
                 "name": "setCurrentTime",
                 "parameters": [
-                    { "name": "currentTime", "type": "number", "description": "Current time for the page animation timeline" }
+                    { "name": "normalisedCurrentTime", "type": "number", "description": "Current time for the page animation timeline" }

[pfeldman, 2015/04/01 13:06:45]

normalizedCurrentTime

[samli, 2015/04/02 09:58:00]

Done.

+                ],
+                "returns": [
+                    { "name": "animationStartTimes", "type": "array", "items": { "$ref": "AnimationStartTime" }, "description": "List of updated animation start times." }
                 ],
                 "description": "Sets the current time of the document timeline."
             },