| Index: Source/modules/mediastream/UserMediaController.h
|
| diff --git a/Source/modules/mediastream/UserMediaController.h b/Source/modules/mediastream/UserMediaController.h
|
| index 6ca420211020a6d9bcc200d58b4148c30cc7e05e..87d4a506a2c63861c288640baf18948f3ed945a1 100644
|
| --- a/Source/modules/mediastream/UserMediaController.h
|
| +++ b/Source/modules/mediastream/UserMediaController.h
|
| @@ -33,9 +33,9 @@ namespace WebCore {
|
|
|
| class UserMediaRequest;
|
|
|
| -class UserMediaController : public Supplement<Page> {
|
| +class UserMediaController FINAL : public Supplement<Page> {
|
| public:
|
| - ~UserMediaController();
|
| + virtual ~UserMediaController();
|
|
|
| UserMediaClient* client() const { return m_client; }
|
| void requestUserMedia(PassRefPtr<UserMediaRequest>);
|
|
|