| Index: ui/file_manager/externs/platform.js
|
| diff --git a/ui/file_manager/externs/platform.js b/ui/file_manager/externs/platform.js
|
| index 693489c4dc449712324ccae486f1504cfd683868..2dfe238a0ad1a79978e4a5f08fd2c481a528b5ea 100644
|
| --- a/ui/file_manager/externs/platform.js
|
| +++ b/ui/file_manager/externs/platform.js
|
| @@ -43,12 +43,3 @@ MediaError.MEDIA_ERR_DECODE = 3;
|
| * @see http://dev.w3.org/html5/spec-author-view/video.html#mediaerror
|
| */
|
| MediaError.MEDIA_ERR_SRC_NOT_SUPPORTED = 4;
|
| -
|
| -/**
|
| - * Animate method.
|
| - * @param {!Array<!Object>} frames
|
| - * @param {number} duration
|
| - * @see http://www.w3.org/TR/web-animations/#widl-Animatable-animate-
|
| - * AnimationPlayer-object-effect--double-or-AnimationTimingInput--timing
|
| - */
|
| -HTMLElement.prototype.animate = function(frames, duration) {};
|
|
|