| Index: tools/dom/scripts/htmlrenamer.py
|
| diff --git a/tools/dom/scripts/htmlrenamer.py b/tools/dom/scripts/htmlrenamer.py
|
| index 8d0b7ee9b48aba9917e4f51dc8c6bf38be593384..96d3cfc17cbc90002188251abb53a14e1fa0436a 100644
|
| --- a/tools/dom/scripts/htmlrenamer.py
|
| +++ b/tools/dom/scripts/htmlrenamer.py
|
| @@ -787,6 +787,7 @@ removed_html_members = monitored.Set('htmlrenamer.removed_html_members', [
|
| 'Node.get:DOCUMENT_POSITION_FOLLOWING',
|
| 'Node.get:DOCUMENT_POSITION_IMPLEMENTATION_SPECIFIC',
|
| 'Node.get:DOCUMENT_POSITION_PRECEDING',
|
| + 'Node.get:childNodes',
|
| 'Node.get:prefix',
|
| 'Node.hasAttributes',
|
| 'Node.isDefaultNamespace',
|
|
|