| Index: third_party/WebKit/Source/modules/webaudio/MediaElementAudioSourceOptions.idl
|
| diff --git a/chrome/browser/resources/settings/people_page/pin_keyboard.js b/third_party/WebKit/Source/modules/webaudio/MediaElementAudioSourceOptions.idl
|
| similarity index 67%
|
| copy from chrome/browser/resources/settings/people_page/pin_keyboard.js
|
| copy to third_party/WebKit/Source/modules/webaudio/MediaElementAudioSourceOptions.idl
|
| index 2d63b6558799326c6be72b14460d30cab50f7042..e2a081de9c1b75001c3d6f9efc30d396a57b058f 100644
|
| --- a/chrome/browser/resources/settings/people_page/pin_keyboard.js
|
| +++ b/third_party/WebKit/Source/modules/webaudio/MediaElementAudioSourceOptions.idl
|
| @@ -2,4 +2,6 @@
|
| // Use of this source code is governed by a BSD-style license that can be
|
| // found in the LICENSE file.
|
|
|
| -<include src="../../chromeos/quick_unlock/pin_keyboard.js">
|
| +dictionary MediaElementAudioSourceOptions {
|
| + HTMLMediaElement mediaElement;
|
| +};
|
|
|