| Index: content/renderer/pepper/pepper_media_device_manager.h
|
| diff --git a/content/renderer/pepper/pepper_media_device_manager.h b/content/renderer/pepper/pepper_media_device_manager.h
|
| index 90d6dc09dcf50c2c47945016a2b2f3adfead4098..c2ee4b9dd4f25f6945b0d58fbfb6f518f668c1ae 100644
|
| --- a/content/renderer/pepper/pepper_media_device_manager.h
|
| +++ b/content/renderer/pepper/pepper_media_device_manager.h
|
| @@ -72,7 +72,6 @@
|
| const std::string& label,
|
| const StreamDeviceInfo& device_info) override;
|
| void OnDeviceOpenFailed(int request_id) override;
|
| - void OnDevicesChanged() override;
|
|
|
| // Stream type conversion.
|
| static MediaStreamType FromPepperDeviceType(PP_DeviceType_Dev type);
|
|
|