| Index: tools/dom/scripts/htmlrenamer.py
|
| diff --git a/tools/dom/scripts/htmlrenamer.py b/tools/dom/scripts/htmlrenamer.py
|
| index 0eb33acb834bee4097ff945cf6be5b81c02b3183..32bb71245e7dba358323bb651af3cede0769ec15 100644
|
| --- a/tools/dom/scripts/htmlrenamer.py
|
| +++ b/tools/dom/scripts/htmlrenamer.py
|
| @@ -194,6 +194,10 @@ renamed_html_members = monitored.Dict('htmlrenamer.renamed_html_members', {
|
| 'Document.defaultView': 'window',
|
| 'DOMURL.createObjectURL': 'createObjectUrl',
|
| 'DOMURL.revokeObjectURL': 'revokeObjectUrl',
|
| + 'DOMWindow.clearTimeout': '_clearTimeout',
|
| + 'DOMWindow.clearInterval': '_clearInterval',
|
| + 'DOMWindow.setTimeout': '_setTimeout',
|
| + 'DOMWindow.setInterval': '_setInterval',
|
| 'DOMWindow.webkitConvertPointFromNodeToPage': 'convertPointFromNodeToPage',
|
| 'DOMWindow.webkitConvertPointFromPageToNode': 'convertPointFromPageToNode',
|
| 'DOMWindow.webkitNotifications': 'notifications',
|
|
|