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 a90d46750ed94108f3485e12de823c6ced35d227..4fa8f8816f25f510cd52b2568729a899f1166c84 100644 |
--- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h |
+++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h |
@@ -375,6 +375,7 @@ private: |
void clearMediaPlayer(); |
void clearMediaPlayerAndAudioSourceProviderClientWithoutLocking(); |
bool havePotentialSourceChild(); |
+ void reportPlayerErrorToDevToolsConsole(); |
void noneSupported(); |
void mediaEngineError(MediaError*); |
void cancelPendingEventsAndCallbacks(); |