| Index: third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| diff --git a/third_party/WebKit/Source/core/html/HTMLMediaElement.h b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| index c61d5df71763a3c9d41c088da17afab4f569ccb3..32eb92d237e254a4366fa049ebfd9741b039f1cb 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| @@ -451,7 +451,7 @@ class CORE_EXPORT HTMLMediaElement
|
| void ClearMediaPlayer();
|
| void ClearMediaPlayerAndAudioSourceProviderClientWithoutLocking();
|
| bool HavePotentialSourceChild();
|
| - void NoneSupported();
|
| + void NoneSupported(const String&);
|
| void MediaEngineError(MediaError*);
|
| void CancelPendingEventsAndCallbacks();
|
| void WaitForSourceChange();
|
| @@ -459,7 +459,7 @@ class CORE_EXPORT HTMLMediaElement
|
|
|
| KURL SelectNextSourceChild(String* content_type, InvalidURLAction);
|
|
|
| - void MediaLoadingFailed(WebMediaPlayer::NetworkState);
|
| + void MediaLoadingFailed(WebMediaPlayer::NetworkState, const String&);
|
|
|
| // deferred loading (preload=none)
|
| bool LoadIsDeferred() const;
|
|
|