Index: webkit/media/webmediaplayer_util.h |
diff --git a/webkit/media/webmediaplayer_util.h b/webkit/media/webmediaplayer_util.h |
index b18a96183ed51ddb4967f76c5b61ec11210328b9..0bd645e9be7d9cd67ac47589d926b93e85ab2be5 100644 |
--- a/webkit/media/webmediaplayer_util.h |
+++ b/webkit/media/webmediaplayer_util.h |
@@ -6,7 +6,9 @@ |
#define WEBKIT_MEDIA_WEBMEDIAPLAYER_UTIL_H_ |
#include "base/time.h" |
+#include "media/base/pipeline_status.h" |
#include "media/base/ranges.h" |
+#include "third_party/WebKit/Source/WebKit/chromium/public/WebMediaPlayer.h" |
#include "third_party/WebKit/Source/WebKit/chromium/public/WebTimeRange.h" |
namespace webkit_media { |
@@ -20,6 +22,9 @@ base::TimeDelta ConvertSecondsToTimestamp(double seconds); |
WebKit::WebTimeRanges ConvertToWebTimeRanges( |
const media::Ranges<base::TimeDelta>& ranges); |
+WebKit::WebMediaPlayer::NetworkState PipelineErrorToNetworkState( |
+ media::PipelineStatus error); |
+ |
} // namespace webkit_media |
#endif // WEBKIT_MEDIA_WEBMEDIAPLAYER_UTIL_H_ |