| OLD | NEW |
| 1 // The property name and type. | 1 // The property name and type. |
| 2 var propertyInfo = [ | 2 var propertyInfo = [ |
| 3 ["alert", "function"], | 3 ["alert", "function"], |
| 4 ["atob", "function"], | 4 ["atob", "function"], |
| 5 ["blur", "function"], | 5 ["blur", "function"], |
| 6 ["btoa", "function"], | 6 ["btoa", "function"], |
| 7 ["captureEvents", "function"], | 7 ["captureEvents", "function"], |
| 8 ["clearInterval", "function"], | 8 ["clearInterval", "function"], |
| 9 ["clearTimeout", "function"], | 9 ["clearTimeout", "function"], |
| 10 ["close", "function"], | 10 ["close", "function"], |
| (...skipping 34 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 45 ["Comment", "object"], | 45 ["Comment", "object"], |
| 46 ["DOMException", "object"], | 46 ["DOMException", "object"], |
| 47 ["DOMImplementation", "object"], | 47 ["DOMImplementation", "object"], |
| 48 ["DOMParser", "object"], | 48 ["DOMParser", "object"], |
| 49 ["Document", "object"], | 49 ["Document", "object"], |
| 50 ["DocumentFragment", "object"], | 50 ["DocumentFragment", "object"], |
| 51 ["DocumentType", "object"], | 51 ["DocumentType", "object"], |
| 52 ["Element", "object"], | 52 ["Element", "object"], |
| 53 ["Event", "object"], | 53 ["Event", "object"], |
| 54 ["HTMLAnchorElement", "object"], | 54 ["HTMLAnchorElement", "object"], |
| 55 ["HTMLAppletElement", "object"], | |
| 56 ["HTMLAreaElement", "object"], | 55 ["HTMLAreaElement", "object"], |
| 57 ["HTMLBRElement", "object"], | 56 ["HTMLBRElement", "object"], |
| 58 ["HTMLBaseElement", "object"], | 57 ["HTMLBaseElement", "object"], |
| 59 ["HTMLBodyElement", "object"], | 58 ["HTMLBodyElement", "object"], |
| 60 ["HTMLButtonElement", "object"], | 59 ["HTMLButtonElement", "object"], |
| 61 ["HTMLCanvasElement", "object"], | 60 ["HTMLCanvasElement", "object"], |
| 62 ["HTMLDListElement", "object"], | 61 ["HTMLDListElement", "object"], |
| 63 ["HTMLDataListElement", "object"], | 62 ["HTMLDataListElement", "object"], |
| 64 ["HTMLDirectoryElement", "object"], | 63 ["HTMLDirectoryElement", "object"], |
| 65 ["HTMLDivElement", "object"], | 64 ["HTMLDivElement", "object"], |
| (...skipping 141 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 207 | 206 |
| 208 ["closed", "boolean"], | 207 ["closed", "boolean"], |
| 209 ["offscreenBuffering", "boolean"], | 208 ["offscreenBuffering", "boolean"], |
| 210 ]; | 209 ]; |
| 211 | 210 |
| 212 // Also collect a list of only the property names. | 211 // Also collect a list of only the property names. |
| 213 var properties = []; | 212 var properties = []; |
| 214 for (var i = 0; i < propertyInfo.length; ++i) { | 213 for (var i = 0; i < propertyInfo.length; ++i) { |
| 215 properties.push(propertyInfo[i][0]); | 214 properties.push(propertyInfo[i][0]); |
| 216 } | 215 } |
| OLD | NEW |