| __ZN7WebCore16HTMLMediaElement10screenRectEv |
| __ZN7WebCore16HTMLMediaElement12endScrubbingEv |
| __ZN7WebCore16HTMLMediaElement14beginScrubbingEv |
| __ZN7WebCore16HTMLMediaElement14exitFullscreenEv |
| __ZN7WebCore16HTMLMediaElement14setCurrentTimeEfRi |
| __ZN7WebCore16HTMLMediaElement4playEv |
| __ZN7WebCore16HTMLMediaElement5pauseEv |
| __ZN7WebCore16HTMLMediaElement6rewindEf |
| __ZN7WebCore16HTMLMediaElement8setMutedEb |
| __ZN7WebCore16HTMLMediaElement9setVolumeEfRi |
| __ZNK7WebCore16HTMLMediaElement11currentTimeEv |
| __ZNK7WebCore16HTMLMediaElement13platformMediaEv |
| __ZNK7WebCore16HTMLMediaElement5mutedEv |
| __ZNK7WebCore16HTMLMediaElement6volumeEv |
| __ZNK7WebCore16HTMLMediaElement7canPlayEv |
| __ZNK7WebCore16HTMLMediaElement8durationEv |
