| 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 65793bb3ca446834687ce8a0723cf66724d01280..9436dc25aefc213fa1ec19a49522fb48a2b21ea9 100644
|
| --- a/third_party/WebKit/Source/modules/remoteplayback/HTMLMediaElementRemotePlayback.h
|
| +++ b/third_party/WebKit/Source/modules/remoteplayback/HTMLMediaElementRemotePlayback.h
|
| @@ -18,7 +18,7 @@ class ScriptState;
|
|
|
| // Class used to implement the Remote Playback API. It is a supplement to
|
| // HTMLMediaElement.
|
| -class HTMLMediaElementRemotePlayback final
|
| +class MODULES_EXPORT HTMLMediaElementRemotePlayback final
|
| : public GarbageCollected<HTMLMediaElementRemotePlayback>,
|
| public Supplement<HTMLMediaElement> {
|
| USING_GARBAGE_COLLECTED_MIXIN(HTMLMediaElementRemotePlayback);
|
|
|