| Index: Source/devtools/front_end/NetworkManager.js
|
| diff --git a/Source/devtools/front_end/NetworkManager.js b/Source/devtools/front_end/NetworkManager.js
|
| index 90d461fedab91de8ca9e463d2ef0d50ea5153f79..4155f4f1a1a26e03fe1ed1260c4a1c3ef32d0460 100644
|
| --- a/Source/devtools/front_end/NetworkManager.js
|
| +++ b/Source/devtools/front_end/NetworkManager.js
|
| @@ -92,6 +92,7 @@ WebInspector.NetworkManager._MIMETypes = {
|
| "text/javascript1.3": {"script": true},
|
| "text/jscript": {"script": true},
|
| "text/livescript": {"script": true},
|
| + "text/vtt": {"texttrack": true},
|
| }
|
|
|
| WebInspector.NetworkManager.prototype = {
|
| @@ -217,6 +218,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;
|
|
|