| Index: tools/dom/scripts/htmlrenamer.py
|
| diff --git a/tools/dom/scripts/htmlrenamer.py b/tools/dom/scripts/htmlrenamer.py
|
| index 73e10c4f7a93f678690c35d80c357424efe2d965..1ee1f77e13862b5bd44394f3d493fc0b97267983 100644
|
| --- a/tools/dom/scripts/htmlrenamer.py
|
| +++ b/tools/dom/scripts/htmlrenamer.py
|
| @@ -514,10 +514,12 @@ removed_html_members = monitored.Set('htmlrenamer.removed_html_members', [
|
| 'Document.linkColor',
|
| 'Document.location',
|
| 'Document.open',
|
| + 'Document.register',
|
| 'Document.set:domain',
|
| 'Document.vlinkColor',
|
| 'Document.webkitCurrentFullScreenElement',
|
| 'Document.webkitFullScreenKeyboardInputAllowed',
|
| + 'Document.webkitRegister',
|
| 'Document.write',
|
| 'Document.writeln',
|
| 'Document.xmlStandalone',
|
|
|