| 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 c2ee4b9dd4f25f6945b0d58fbfb6f518f668c1ae..90d6dc09dcf50c2c47945016a2b2f3adfead4098 100644
|
| --- a/content/renderer/pepper/pepper_media_device_manager.h
|
| +++ b/content/renderer/pepper/pepper_media_device_manager.h
|
| @@ -72,6 +72,7 @@ class PepperMediaDeviceManager
|
| 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);
|
|
|