Index: tools/dom/scripts/htmlrenamer.py |
diff --git a/tools/dom/scripts/htmlrenamer.py b/tools/dom/scripts/htmlrenamer.py |
index 791591b6d71e774bf07b23c1b384342b0422512b..7f8504417ebb969d6c1eb91259aa70fe15d9544f 100644 |
--- a/tools/dom/scripts/htmlrenamer.py |
+++ b/tools/dom/scripts/htmlrenamer.py |
@@ -161,6 +161,13 @@ dom_private_html_members = monitored.Set('htmlrenamer.private_html_members', [ |
'EventTarget.removeEventListener', |
]) |
+# Classes where we have customized constructors, but we need to keep the old |
+# constructor for dispatch purposes. |
+custom_html_constructors = monitored.Set( |
+ 'htmlrenamer.custom_html_constructors', [ |
+ 'HTMLOptionElement', |
+]) |
+ |
# 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. They are exposed simply by placing an underscore in front of the |