| Index: Source/modules/mediastream/MediaDevicesRequest.h
|
| diff --git a/Source/modules/mediastream/MediaDevicesRequest.h b/Source/modules/mediastream/MediaDevicesRequest.h
|
| index f744ee2865119de546960636f05d4904c66a7db9..307354ecf1dec3e45372e727165ebd340351abba 100644
|
| --- a/Source/modules/mediastream/MediaDevicesRequest.h
|
| +++ b/Source/modules/mediastream/MediaDevicesRequest.h
|
| @@ -45,7 +45,7 @@ class MODULES_EXPORT MediaDevicesRequest final : public GarbageCollectedFinalize
|
| WILL_BE_USING_GARBAGE_COLLECTED_MIXIN(MediaDevicesRequest);
|
| public:
|
| static MediaDevicesRequest* create(ScriptState*, UserMediaController*);
|
| - virtual ~MediaDevicesRequest();
|
| + ~MediaDevicesRequest() override;
|
|
|
| Document* ownerDocument();
|
|
|
| @@ -54,7 +54,7 @@ public:
|
| void succeed(const MediaDeviceInfoVector&);
|
|
|
| // ActiveDOMObject
|
| - virtual void stop() override;
|
| + void stop() override;
|
|
|
| DECLARE_VIRTUAL_TRACE();
|
|
|
|
|