Index: content/browser/resources/media/main.js |
diff --git a/content/browser/resources/media/main.js b/content/browser/resources/media/main.js |
index 5ca4bed7c45d0a5ce30db47e6bbec9e3274b5910..cf0453944fa6306589e99c78d59a1798daf4c002 100644 |
--- a/content/browser/resources/media/main.js |
+++ b/content/browser/resources/media/main.js |
@@ -165,7 +165,12 @@ var media = (function() { |
if (key === 'buffer_start' || |
key === 'buffer_end' || |
key === 'buffer_current' || |
- key === 'is_downloading_data') { |
+ key === 'is_downloading_data' || |
+ key === 'audio_splice_count' || |
wolenetz
2015/07/14 23:23:37
Likewise, this isn't a very efficient mechanism fo
DaleCurtis
2015/07/14 23:37:47
I think this is long enough that we want a global
|
+ key === 'audio_splice_degenerate_count' || |
+ key === 'audio_splice_duration_average' || |
+ key === 'audio_splice_duration_min' || |
+ key === 'audio_splice_duration_max') { |
manager.updatePlayerInfoNoRecord( |
source, event.ticksMillis, key, value); |
} else { |