| Index: lib/dom/scripts/htmlrenamer.py
|
| diff --git a/lib/dom/scripts/htmlrenamer.py b/lib/dom/scripts/htmlrenamer.py
|
| index 5c0157fdbf3a5b18da72267d3ef5832d0005e542..380a69846cc8cf57f6aa37886cbca86975a99b2e 100644
|
| --- a/lib/dom/scripts/htmlrenamer.py
|
| +++ b/lib/dom/scripts/htmlrenamer.py
|
| @@ -122,7 +122,6 @@ _removed_html_members = set([
|
| # "Document.get:preferredStylesheetSet",
|
| "Document.get:links",
|
| "Document.set:domain",
|
| - "Document.get:implementation",
|
| "Document.createAttributeNS",
|
| "Document.get:inputEncoding",
|
| "Document.get:height",
|
|
|