| Index: third_party/WebKit/Source/core/html/shadow/MediaControlElementTypes.h
|
| diff --git a/third_party/WebKit/Source/core/html/shadow/MediaControlElementTypes.h b/third_party/WebKit/Source/core/html/shadow/MediaControlElementTypes.h
|
| index fecf48c0de280b56f0cd45c37d329e5f6c71a08e..d21ec61d70e690af8a22118f44e055679cb501b3 100644
|
| --- a/third_party/WebKit/Source/core/html/shadow/MediaControlElementTypes.h
|
| +++ b/third_party/WebKit/Source/core/html/shadow/MediaControlElementTypes.h
|
| @@ -79,6 +79,8 @@ CORE_EXPORT MediaControlElementType mediaControlElementType(const Node*);
|
|
|
| // ----------------------------
|
|
|
| +// TODO(mustaq): The Media control elements that use MouseEvents should be
|
| +// ported to use PointerEvents instead.
|
| class MediaControlElement : public GarbageCollectedMixin {
|
| public:
|
| // These hold the state about whether this control should be shown if
|
|
|