| OLD | NEW |
| 1 | 1 |
| 2 class MediaListJs extends DOMTypeJs implements MediaList native "*MediaList" { | 2 class _MediaListJs extends _DOMTypeJs implements MediaList native "*MediaList" { |
| 3 | 3 |
| 4 int get length() native "return this.length;"; | 4 int get length() native "return this.length;"; |
| 5 | 5 |
| 6 String get mediaText() native "return this.mediaText;"; | 6 String get mediaText() native "return this.mediaText;"; |
| 7 | 7 |
| 8 void set mediaText(String value) native "this.mediaText = value;"; | 8 void set mediaText(String value) native "this.mediaText = value;"; |
| 9 | 9 |
| 10 String operator[](int index) native "return this[index];"; | 10 String operator[](int index) native "return this[index];"; |
| 11 | 11 |
| 12 void operator[]=(int index, String value) { | 12 void operator[]=(int index, String value) { |
| (...skipping 66 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 79 _Lists.getRange(this, start, length, <String>[]); | 79 _Lists.getRange(this, start, length, <String>[]); |
| 80 | 80 |
| 81 // -- end List<String> mixins. | 81 // -- end List<String> mixins. |
| 82 | 82 |
| 83 void appendMedium(String newMedium) native; | 83 void appendMedium(String newMedium) native; |
| 84 | 84 |
| 85 void deleteMedium(String oldMedium) native; | 85 void deleteMedium(String oldMedium) native; |
| 86 | 86 |
| 87 String item(int index) native; | 87 String item(int index) native; |
| 88 } | 88 } |
| OLD | NEW |