| Index: tools/dom/scripts/htmlrenamer.py
|
| diff --git a/tools/dom/scripts/htmlrenamer.py b/tools/dom/scripts/htmlrenamer.py
|
| index 716a7cdb75f5fea72ae31bee11ac50f867be651e..1dc400e1f9d9b21d762faba31639fa3282f9475b 100644
|
| --- a/tools/dom/scripts/htmlrenamer.py
|
| +++ b/tools/dom/scripts/htmlrenamer.py
|
| @@ -242,13 +242,9 @@ _removed_html_members = monitored.Set('htmlrenamer._removed_html_members', [
|
| 'DOMWindow.call:blur',
|
| 'DOMWindow.clientInformation',
|
| 'DOMWindow.call:focus',
|
| - 'DOMWindow.clearTimeout',
|
| - 'DOMWindow.clearInterval',
|
| 'DOMWindow.get:frames',
|
| 'DOMWindow.get:length',
|
| 'DOMWindow.prompt',
|
| - 'DOMWindow.setTimeout',
|
| - 'DOMWindow.setInterval',
|
| 'DOMWindow.webkitCancelAnimationFrame',
|
| 'DOMWindow.webkitCancelRequestAnimationFrame',
|
| 'DOMWindow.webkitIndexedDB',
|
|
|