| Index: sdk/lib/html/dartium/html_dartium.dart
|
| diff --git a/sdk/lib/html/dartium/html_dartium.dart b/sdk/lib/html/dartium/html_dartium.dart
|
| index 8f7735837cd84031477624753b5908746c13e357..a661df0711d8b84609cd5ff7da0aedced5a09eb4 100644
|
| --- a/sdk/lib/html/dartium/html_dartium.dart
|
| +++ b/sdk/lib/html/dartium/html_dartium.dart
|
| @@ -951,6 +951,9 @@ class AnimationPlayer extends EventTarget {
|
| // To suppress missing implicit constructor warnings.
|
| factory AnimationPlayer._() { throw new UnsupportedError("Not supported"); }
|
|
|
| + /// Checks if this type is supported on the current platform.
|
| + static bool get supported => true;
|
| +
|
| @DomName('AnimationPlayer.currentTime')
|
| @DocsEditable()
|
| @Experimental() // untriaged
|
|
|