| Index: content/renderer/pepper/pepper_media_device_manager.cc
|
| diff --git a/content/renderer/pepper/pepper_media_device_manager.cc b/content/renderer/pepper/pepper_media_device_manager.cc
|
| index ead7c594b05f117b33c940911bf975aa96fb91c6..84e12b2e521d590a04d883e85781b7ca6cd42558 100644
|
| --- a/content/renderer/pepper/pepper_media_device_manager.cc
|
| +++ b/content/renderer/pepper/pepper_media_device_manager.cc
|
| @@ -186,12 +186,6 @@ void PepperMediaDeviceManager::OnDeviceStopped(
|
| const std::string& label,
|
| const StreamDeviceInfo& device_info) {}
|
|
|
| -void PepperMediaDeviceManager::OnDevicesEnumerated(
|
| - int request_id,
|
| - const StreamDeviceInfoArray& device_array) {
|
| - NOTREACHED();
|
| -}
|
| -
|
| void PepperMediaDeviceManager::OnDeviceOpened(
|
| int request_id,
|
| const std::string& label,
|
| @@ -203,8 +197,6 @@ void PepperMediaDeviceManager::OnDeviceOpenFailed(int request_id) {
|
| NotifyDeviceOpened(request_id, false, std::string());
|
| }
|
|
|
| -void PepperMediaDeviceManager::OnDevicesChanged() {}
|
| -
|
| // static
|
| MediaStreamType PepperMediaDeviceManager::FromPepperDeviceType(
|
| PP_DeviceType_Dev type) {
|
|
|