| Index: tools/dom/scripts/htmlrenamer.py
|
| diff --git a/tools/dom/scripts/htmlrenamer.py b/tools/dom/scripts/htmlrenamer.py
|
| index 96d3cfc17cbc90002188251abb53a14e1fa0436a..2dd6db60c9103ba204163d169b6e62b2fb828310 100644
|
| --- a/tools/dom/scripts/htmlrenamer.py
|
| +++ b/tools/dom/scripts/htmlrenamer.py
|
| @@ -176,6 +176,7 @@ convert_to_future_members = monitored.Set(
|
| # constructor for dispatch purposes.
|
| custom_html_constructors = monitored.Set(
|
| 'htmlrenamer.custom_html_constructors', [
|
| + 'HTMLAudioElement',
|
| 'HTMLOptionElement',
|
| 'MutationObserver',
|
| ])
|
| @@ -204,6 +205,7 @@ private_html_members = monitored.Set('htmlrenamer.private_html_members', [
|
| 'CustomEvent.initCustomEvent',
|
| 'DeviceOrientationEvent.initDeviceOrientationEvent',
|
| 'Document.createElement',
|
| + 'Document.createElementNS',
|
| 'Document.createEvent',
|
| 'Document.createNodeIterator',
|
| 'Document.createTextNode',
|
| @@ -233,6 +235,7 @@ private_html_members = monitored.Set('htmlrenamer.private_html_members', [
|
| 'Document.webkitIsFullScreen',
|
| 'Document.webkitVisibilityState',
|
|
|
| + 'Element.animate',
|
| 'Element.children',
|
| 'Element.childElementCount',
|
| 'Element.firstElementChild',
|
| @@ -780,6 +783,8 @@ removed_html_members = monitored.Set('htmlrenamer.removed_html_members', [
|
| 'MouseEvent.y',
|
| 'Navigator.registerServiceWorker',
|
| 'Navigator.unregisterServiceWorker',
|
| + 'Navigator.isProtocolHandlerRegistered',
|
| + 'Navigator.unregisterProtocolHandler',
|
| 'Node.compareDocumentPosition',
|
| 'Node.get:DOCUMENT_POSITION_CONTAINED_BY',
|
| 'Node.get:DOCUMENT_POSITION_CONTAINS',
|
| @@ -821,6 +826,7 @@ removed_html_members = monitored.Set('htmlrenamer.removed_html_members', [
|
| 'Window.on:wheel',
|
| 'WindowEventHandlers.on:beforeUnload',
|
| 'WorkerGlobalScope.webkitIndexedDB',
|
| + 'XMLHttpRequest.open',
|
| # TODO(jacobr): should these be removed?
|
| 'Document.close',
|
| 'Document.hasFocus',
|
|
|