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