| 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 8580459d82a232c18c7dbb81143d626695cb23e6..ff7bc3bb2cccc7dab317f18a18b85dc8a161122a 100644
|
| --- a/content/renderer/pepper/pepper_media_device_manager.h
|
| +++ b/content/renderer/pepper/pepper_media_device_manager.h
|
| @@ -74,13 +74,10 @@ class PepperMediaDeviceManager
|
| content::MediaStreamRequestResult result) override;
|
| void OnDeviceStopped(const std::string& label,
|
| const StreamDeviceInfo& device_info) override;
|
| - void OnDevicesEnumerated(int request_id,
|
| - const StreamDeviceInfoArray& device_array) override;
|
| void OnDeviceOpened(int request_id,
|
| 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);
|
|
|