| Index: tools/dom/scripts/htmlrenamer.py
|
| diff --git a/tools/dom/scripts/htmlrenamer.py b/tools/dom/scripts/htmlrenamer.py
|
| index 9073f9878217a87615097b430e9882923b471cab..ed97069704b2ffb8b26f8d631431d7d200a0dc33 100644
|
| --- a/tools/dom/scripts/htmlrenamer.py
|
| +++ b/tools/dom/scripts/htmlrenamer.py
|
| @@ -309,6 +309,7 @@ _private_html_members = monitored.Set('htmlrenamer._private_html_members', [
|
| # Members from the standard dom that exist in the dart:html library with
|
| # identical functionality but with cleaner names.
|
| renamed_html_members = monitored.Dict('htmlrenamer.renamed_html_members', {
|
| + 'CSSStyleDeclaration.getPropertyValue': '_getPropertyValue',
|
| 'DirectoryEntry.getDirectory': '_getDirectory',
|
| 'DirectoryEntry.getFile': '_getFile',
|
| 'Document.createCDATASection': 'createCDataSection',
|
| @@ -328,6 +329,7 @@ renamed_html_members = monitored.Dict('htmlrenamer.renamed_html_members', {
|
| 'Element.querySelector': 'query',
|
| 'Element.webkitCreateShadowRoot': 'createShadowRoot',
|
| 'Element.webkitMatchesSelector' : 'matches',
|
| + 'MutationObserver.observe': '_observe',
|
| 'Navigator.webkitGetUserMedia': '_getUserMedia',
|
| 'Node.appendChild': 'append',
|
| 'Node.cloneNode': 'clone',
|
|
|