Add transfer size paramater to didFinishLoading [3/3]

Source/devtools/protocol.json

Index: Source/devtools/protocol.json
diff --git a/Source/devtools/protocol.json b/Source/devtools/protocol.json
index a1be0558e64e67e0c5a9bee36285a9aa56ea0903..2361be81ed687b72480a9393f88832e9eec9ec11 100644
--- a/Source/devtools/protocol.json
+++ b/Source/devtools/protocol.json
@@ -1003,6 +1003,7 @@
                     { "name": "remoteIPAddress", "type": "string", "optional": true, "hidden": true, "description": "Remote IP address." },
                     { "name": "remotePort", "type": "integer", "optional": true, "hidden": true, "description": "Remote port."},
                     { "name": "fromDiskCache", "type": "boolean", "optional": true, "description": "Specifies that the request was served from the disk cache." },
+                    { "name": "encodedDataLength", "type": "number", "optional": false, "description": "Total number of bytes received for this request." },

[vsevik, 2014/02/07 09:37:08]

...so far.

[eustas, 2014/02/10 12:36:02]

Done.

                     { "name": "timing", "$ref": "ResourceTiming", "optional": true, "description": "Timing information for the given request." }
                 ]
             },
@@ -1189,7 +1190,7 @@
                     { "name": "requestId", "$ref": "RequestId", "description": "Request identifier." },
                     { "name": "timestamp", "$ref": "Timestamp", "description": "Timestamp." },
                     { "name": "dataLength", "type": "integer", "description": "Data chunk length." },
-                    { "name": "encodedDataLength", "type": "integer", "description": "Actual bytes received (might be less than dataLength for compressed encodings)." }
+                    { "name": "encodedDataLength", "type": "integer", "description": "Total number of bytes received for this request." }

[vsevik, 2014/02/07 09:37:08]

not total

[eustas, 2014/02/10 12:36:02]

Done.

                 ]
             },
             {
@@ -1197,7 +1198,8 @@
                 "description": "Fired when HTTP request has finished loading.",
                 "parameters": [
                     { "name": "requestId", "$ref": "RequestId", "description": "Request identifier." },
-                    { "name": "timestamp", "$ref": "Timestamp", "description": "Timestamp." }
+                    { "name": "timestamp", "$ref": "Timestamp", "description": "Timestamp." },
+                    { "name": "encodedDataLength", "type": "number", "description": "Total number of bytes received for this request." }
                 ]
             },
             {