| OLD | NEW |
| 1 | 1 |
| 2 class HTMLMediaElement extends HTMLElement native "HTMLMediaElement" { | 2 class HTMLMediaElement extends HTMLElement native "*HTMLMediaElement" { |
| 3 | 3 |
| 4 static final int EOS_DECODE_ERR = 2; | 4 static final int EOS_DECODE_ERR = 2; |
| 5 | 5 |
| 6 static final int EOS_NETWORK_ERR = 1; | 6 static final int EOS_NETWORK_ERR = 1; |
| 7 | 7 |
| 8 static final int EOS_NO_ERROR = 0; | 8 static final int EOS_NO_ERROR = 0; |
| 9 | 9 |
| 10 static final int HAVE_CURRENT_DATA = 2; | 10 static final int HAVE_CURRENT_DATA = 2; |
| 11 | 11 |
| 12 static final int HAVE_ENOUGH_DATA = 4; | 12 static final int HAVE_ENOUGH_DATA = 4; |
| (...skipping 93 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 106 void load() native; | 106 void load() native; |
| 107 | 107 |
| 108 void pause() native; | 108 void pause() native; |
| 109 | 109 |
| 110 void play() native; | 110 void play() native; |
| 111 | 111 |
| 112 void webkitSourceAppend(Uint8Array data) native; | 112 void webkitSourceAppend(Uint8Array data) native; |
| 113 | 113 |
| 114 void webkitSourceEndOfStream(int status) native; | 114 void webkitSourceEndOfStream(int status) native; |
| 115 } | 115 } |
| OLD | NEW |