| Index: lib/html/scripts/htmlrenamer.py
|
| diff --git a/lib/html/scripts/htmlrenamer.py b/lib/html/scripts/htmlrenamer.py
|
| index 01934fa3183d3801ec11aae0aa418c42b2a3dc57..ad391d2d16e1be2387aa6b111522c7a8abb6e88e 100644
|
| --- a/lib/html/scripts/htmlrenamer.py
|
| +++ b/lib/html/scripts/htmlrenamer.py
|
| @@ -46,15 +46,29 @@ _private_html_members = set([
|
| 'Element.childElementCount',
|
| 'Element.children',
|
| 'Element.className',
|
| + 'Element.clientHeight',
|
| + 'Element.clientLeft',
|
| + 'Element.clientTop',
|
| + 'Element.clientWidth',
|
| 'Element.firstElementChild',
|
| 'Element.getAttribute',
|
| + 'Element.getBoundingClientRect',
|
| + 'Element.getClientRects',
|
| 'Element.getElementsByClassName',
|
| 'Element.getElementsByTagName',
|
| 'Element.hasAttribute',
|
| 'Element.lastElementChild',
|
| + 'Element.offsetHeight',
|
| + 'Element.offsetLeft',
|
| + 'Element.offsetTop',
|
| + 'Element.offsetWidth',
|
| 'Element.querySelector',
|
| 'Element.querySelectorAll',
|
| 'Element.removeAttribute',
|
| + 'Element.scrollHeight',
|
| + 'Element.scrollLeft',
|
| + 'Element.scrollTop',
|
| + 'Element.scrollWidth',
|
| 'Element.setAttribute',
|
| 'Event.initEvent',
|
| 'EventTarget.addEventListener',
|
|
|