| OLD | NEW |
| 1 | 1 |
| 2 class HTMLElement extends Element native "HTMLElement" { | 2 class HTMLElement extends Element native "*HTMLElement" { |
| 3 | 3 |
| 4 String accessKey; | 4 String accessKey; |
| 5 | 5 |
| 6 HTMLCollection children; | 6 HTMLCollection children; |
| 7 | 7 |
| 8 DOMTokenList classList; | 8 DOMTokenList classList; |
| 9 | 9 |
| 10 String className; | 10 String className; |
| 11 | 11 |
| 12 String contentEditable; | 12 String contentEditable; |
| (...skipping 37 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 50 String title; | 50 String title; |
| 51 | 51 |
| 52 String webkitdropzone; | 52 String webkitdropzone; |
| 53 | 53 |
| 54 Element insertAdjacentElement(String where, Element element) native; | 54 Element insertAdjacentElement(String where, Element element) native; |
| 55 | 55 |
| 56 void insertAdjacentHTML(String where, String html) native; | 56 void insertAdjacentHTML(String where, String html) native; |
| 57 | 57 |
| 58 void insertAdjacentText(String where, String text) native; | 58 void insertAdjacentText(String where, String text) native; |
| 59 } | 59 } |
| OLD | NEW |