| Index: media/base/android/media_player_android.h
|
| diff --git a/media/base/android/media_player_android.h b/media/base/android/media_player_android.h
|
| index 8dfe90cc58d0be691c092a122dbb70bbc68eab95..a9c73718f3697efbf4ad0e3e8359e4fb03f26281 100644
|
| --- a/media/base/android/media_player_android.h
|
| +++ b/media/base/android/media_player_android.h
|
| @@ -36,6 +36,13 @@ class MEDIA_EXPORT MediaPlayerAndroid {
|
| MEDIA_ERROR_INVALID_CODE,
|
| };
|
|
|
| + // Types of media source that this object will play.
|
| + enum MediaSourceType {
|
| + MEDIA_SOURCE_URL,
|
| + MEDIA_SOURCE_MSE, // W3C Media Source Extensions
|
| + MEDIA_SOURCE_STREAM, // W3C Media Stream, e.g. getUserMedia().
|
| + };
|
| +
|
| // Callback when error happens. Args: player ID, error type.
|
| typedef base::Callback<void(int, int)> MediaErrorCB;
|
|
|
| @@ -78,7 +85,7 @@ class MEDIA_EXPORT MediaPlayerAndroid {
|
| static MediaPlayerAndroid* Create(
|
| int player_id,
|
| const GURL& url,
|
| - bool is_media_source,
|
| + MediaSourceType media_source_type,
|
| const GURL& first_party_for_cookies,
|
| bool hide_url_log,
|
| MediaPlayerManager* manager,
|
|
|