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 66ec3be9c8c5e5e46e3990fd46e2d5870dcdc411..f0e52db2ef91d8cf08bed8a9624ddc5dd4bbd1c6 100644 |
--- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h |
+++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h |
@@ -356,7 +356,6 @@ private: |
WebMediaPlayer::LoadType loadType() const; |
void scheduleNextSourceChild(); |
void loadNextSourceChild(); |
- void userCancelledLoad(); |
void clearMediaPlayer(int flags); |
void clearMediaPlayerAndAudioSourceProviderClientWithoutLocking(); |
bool havePotentialSourceChild(); |