| Index: tools/dom/scripts/htmlrenamer.py
|
| diff --git a/tools/dom/scripts/htmlrenamer.py b/tools/dom/scripts/htmlrenamer.py
|
| index f202d2e59ac9ac535bdb75672eef65c1c27894e1..22bd880817fdbc946154d0bee147fab967f83da6 100644
|
| --- a/tools/dom/scripts/htmlrenamer.py
|
| +++ b/tools/dom/scripts/htmlrenamer.py
|
| @@ -38,10 +38,6 @@ html_interface_renames = {
|
| 'XMLHttpRequestUpload': 'HttpRequestUpload',
|
| }
|
|
|
| -html_interface_removes = [
|
| - 'AppletElement',
|
| -]
|
| -
|
| # Members from the standard dom that should not be exposed publicly in dart:html
|
| # but need to be exposed internally to implement dart:html on top of a standard
|
| # browser.
|
| @@ -427,11 +423,6 @@ class HtmlRenamer(object):
|
| def __init__(self, database):
|
| self._database = database
|
|
|
| - def FindInterface(self, interface):
|
| - if interface in html_interface_removes:
|
| - return interface
|
| - return None
|
| -
|
| def RenameInterface(self, interface):
|
| if interface.id in html_interface_renames:
|
| return html_interface_renames[interface.id]
|
|
|