Index: sdk/lib/html/scripts/htmlrenamer.py |
diff --git a/sdk/lib/html/scripts/htmlrenamer.py b/sdk/lib/html/scripts/htmlrenamer.py |
index 74d135d04479d492907f6f2cbed6b448defa9564..e2ad5f7830bed5d8e88e7a316eaf44f3e273dd88 100644 |
--- a/sdk/lib/html/scripts/htmlrenamer.py |
+++ b/sdk/lib/html/scripts/htmlrenamer.py |
@@ -254,6 +254,7 @@ _removed_html_members = set([ |
"HTMLOptionsCollection.*", |
"HTMLPropertiesCollection.*", |
"SelectElement.remove", |
+ "MenuElement.compact", |
blois
2012/11/27 00:21:43
Why this change?
Andrei Mouravski
2012/11/27 00:30:14
I wanted to use MenuElement as a test to make sure
|
"NamedNodeMap.*", |
"Node.isEqualNode", |
"Node.get:TEXT_NODE", |