| Index: third_party/WebKit/Source/modules/remoteplayback/HTMLMediaElementRemotePlayback.h
|
| diff --git a/third_party/WebKit/Source/modules/remoteplayback/HTMLMediaElementRemotePlayback.h b/third_party/WebKit/Source/modules/remoteplayback/HTMLMediaElementRemotePlayback.h
|
| index 65cf1f8e328606c68ddb48a18e62ed2c04d2244b..28f9a7ba9842b21da307148a8688b10c01f75c6e 100644
|
| --- a/third_party/WebKit/Source/modules/remoteplayback/HTMLMediaElementRemotePlayback.h
|
| +++ b/third_party/WebKit/Source/modules/remoteplayback/HTMLMediaElementRemotePlayback.h
|
| @@ -17,7 +17,7 @@ class RemotePlayback;
|
|
|
| // Class used to implement the Remote Playback API. It is a supplement to
|
| // HTMLMediaElement.
|
| -class HTMLMediaElementRemotePlayback final : public GarbageCollected<HTMLMediaElementRemotePlayback>, public HeapSupplement<HTMLMediaElement> {
|
| +class HTMLMediaElementRemotePlayback final : public GarbageCollected<HTMLMediaElementRemotePlayback>, public Supplement<HTMLMediaElement> {
|
| USING_GARBAGE_COLLECTED_MIXIN(HTMLMediaElementRemotePlayback);
|
| public:
|
| static bool fastHasAttribute(const QualifiedName&, const HTMLMediaElement&);
|
|
|