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; |