Index: third_party/WebKit/Source/modules/media_controls/elements/MediaControlTimelineElement.h |
diff --git a/third_party/WebKit/Source/modules/media_controls/elements/MediaControlTimelineElement.h b/third_party/WebKit/Source/modules/media_controls/elements/MediaControlTimelineElement.h |
index ea412ba606c2ee627a3913f30a50a90791a25800..9f3034ce664d8f7825b13bd73ae7a3e1012087c8 100644 |
--- a/third_party/WebKit/Source/modules/media_controls/elements/MediaControlTimelineElement.h |
+++ b/third_party/WebKit/Source/modules/media_controls/elements/MediaControlTimelineElement.h |
@@ -27,6 +27,8 @@ class MediaControlTimelineElement final : public MediaControlInputElement { |
void OnPlaying(); |
+ void OnMediaKeyboardEvent(Event* event) { DefaultEventHandler(event); } |
+ |
private: |
void DefaultEventHandler(Event*) override; |
bool KeepEventInNode(Event*) override; |