| Index: Source/devtools/front_end/NetworkManager.js
|
| diff --git a/Source/devtools/front_end/NetworkManager.js b/Source/devtools/front_end/NetworkManager.js
|
| index 5be1708ef694b4ec587376647ad33e8541a83812..b32e82d4a05bf9b1ac201ccd28aaeb2dc4c302ac 100644
|
| --- a/Source/devtools/front_end/NetworkManager.js
|
| +++ b/Source/devtools/front_end/NetworkManager.js
|
| @@ -96,6 +96,7 @@ WebInspector.NetworkManager._MIMETypes = {
|
| "text/javascript1.3": {"script": true},
|
| "text/jscript": {"script": true},
|
| "text/livescript": {"script": true},
|
| + "text/vtt": {"texttrack": true},
|
| }
|
|
|
| WebInspector.NetworkManager.prototype = {
|
| @@ -219,6 +220,7 @@ WebInspector.NetworkDispatcher.prototype = {
|
|
|
| if (typeof networkRequest.type === "undefined"
|
| || networkRequest.type === WebInspector.resourceTypes.Other
|
| + || networkRequest.type === WebInspector.resourceTypes.Media
|
| || networkRequest.type === WebInspector.resourceTypes.XHR
|
| || networkRequest.type === WebInspector.resourceTypes.WebSocket)
|
| return true;
|
|
|