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(); |