| Index: client/dom/generated/src/frog/HTMLMediaElement.dart
 | 
| diff --git a/client/dom/generated/src/frog/HTMLMediaElement.dart b/client/dom/generated/src/frog/HTMLMediaElement.dart
 | 
| index e6a7c5dd7e5fd6938560d40827b6eb67bd3a04db..d84a1757e5557b56141aecb2160797cb78c3eae6 100644
 | 
| --- a/client/dom/generated/src/frog/HTMLMediaElement.dart
 | 
| +++ b/client/dom/generated/src/frog/HTMLMediaElement.dart
 | 
| @@ -1,6 +1,12 @@
 | 
|  
 | 
|  class _HTMLMediaElementJs extends _HTMLElementJs implements HTMLMediaElement native "*HTMLMediaElement" {
 | 
|  
 | 
| +  static final int EOS_DECODE_ERR = 2;
 | 
| +
 | 
| +  static final int EOS_NETWORK_ERR = 1;
 | 
| +
 | 
| +  static final int EOS_NO_ERROR = 0;
 | 
| +
 | 
|    static final int HAVE_CURRENT_DATA = 2;
 | 
|  
 | 
|    static final int HAVE_ENOUGH_DATA = 4;
 | 
| @@ -19,6 +25,12 @@ class _HTMLMediaElementJs extends _HTMLElementJs implements HTMLMediaElement nat
 | 
|  
 | 
|    static final int NETWORK_NO_SOURCE = 3;
 | 
|  
 | 
| +  static final int SOURCE_CLOSED = 0;
 | 
| +
 | 
| +  static final int SOURCE_ENDED = 2;
 | 
| +
 | 
| +  static final int SOURCE_OPEN = 1;
 | 
| +
 | 
|    bool autoplay;
 | 
|  
 | 
|    final _TimeRangesJs buffered;
 | 
| 
 |