Add transfer size paramater to didFinishLoading [3/3]

Source/devtools/protocol.json

 {
     "version": { "major": "1", "minor": "1" },
     "domains": [{
         "domain": "Inspector",
         "hidden": true,
         "types": [],
         "commands": [
             {
                 "name": "enable",
                 "description": "Enables inspector domain notifications."
@@ skipping 985 matching lines @@
                     { "name": "headers", "$ref": "Headers", "description": "HTTP response headers." },
                     { "name": "headersText", "type": "string", "optional": true, "description": "HTTP response headers text." },
                     { "name": "mimeType", "type": "string", "description": "Resource mimeType as determined by the browser." },
                     { "name": "requestHeaders", "$ref": "Headers", "optional": true, "description": "Refined HTTP request headers that were actually transmitted over the network." },
                     { "name": "requestHeadersText", "type": "string", "optional": true, "description": "HTTP request headers text." },
                     { "name": "connectionReused", "type": "boolean", "description": "Specifies whether physical connection was actually reused for this request." },
                     { "name": "connectionId", "type": "number", "description": "Physical connection id that was actually used for this request." },
                     { "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." }
                 ]
             },
             {
                 "id": "WebSocketRequest",
                 "type": "object",
                 "description": "WebSocket request data.",
                 "hidden": true,
                 "properties": [
                     { "name": "headers", "$ref": "Headers", "description": "HTTP response headers." }
@@ skipping 166 matching lines @@
                     { "name": "response", "$ref": "Response", "description": "Response data." }
                 ]
             },
             {
                 "name": "dataReceived",
                 "description": "Fired when data chunk was received over the network.",
                 "parameters": [
                     { "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.

                 ]
             },
             {
                 "name": "loadingFinished",
                 "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." }
                 ]
             },
             {
                 "name": "loadingFailed",
                 "description": "Fired when HTTP request has failed to load.",
                 "parameters": [
                     { "name": "requestId", "$ref": "RequestId", "description": "Request identifier." },
                     { "name": "timestamp", "$ref": "Timestamp", "description": "Timestamp." },
                     { "name": "errorText", "type": "string", "description": "User friendly error message." },
                     { "name": "canceled", "type": "boolean", "optional": true, "description": "True if loading was canceled." }
@@ skipping 2853 matching lines @@
                 ],
                 "handlers": ["browser", "frontend"]
             },
             {
                 "name": "tracingComplete",
                 "handlers": ["browser", "frontend"]
             }
         ]
     }]
 }