Added simple functionality to remove interfaces from HTML lib.

tools/dom/scripts/htmlrenamer.py

Index: tools/dom/scripts/htmlrenamer.py
diff --git a/tools/dom/scripts/htmlrenamer.py b/tools/dom/scripts/htmlrenamer.py
index fbd42f1c7cf0cc6693807299df63723b8986c15b..fd50b793425a785dfecfccb0d66802306d813de3 100644
--- a/tools/dom/scripts/htmlrenamer.py
+++ b/tools/dom/scripts/htmlrenamer.py
@@ -38,6 +38,10 @@ 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.
@@ -345,6 +349,11 @@ class HtmlRenamer(object):
   def __init__(self, database):
     self._database = database
 
+  def FindInterface(self, interface):

[blois, 2013/01/07 16:55:29]

Seems like it should be 'ShouldExportInterface' or something- and return a bool.

+    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]