Index: Source/WebCore/html/HTMLMediaElement.h |
=================================================================== |
--- Source/WebCore/html/HTMLMediaElement.h (revision 133510) |
+++ Source/WebCore/html/HTMLMediaElement.h (working copy) |
@@ -464,6 +464,7 @@ |
void scheduleNextSourceChild(); |
void loadNextSourceChild(); |
void userCancelledLoad(); |
+ void clearMediaPlayer(unsigned flags); |
bool havePotentialSourceChild(); |
void noneSupported(); |
void mediaEngineError(PassRefPtr<MediaError> err); |