| Index: tools/dom/scripts/htmlrenamer.py
|
| diff --git a/tools/dom/scripts/htmlrenamer.py b/tools/dom/scripts/htmlrenamer.py
|
| index 1bc0077faeed0f761c8fc8e21b6928027bd1c525..60845a4a273b84c3bae2ad81f42b4817d61dce0d 100644
|
| --- a/tools/dom/scripts/htmlrenamer.py
|
| +++ b/tools/dom/scripts/htmlrenamer.py
|
| @@ -233,7 +233,6 @@ private_html_members = monitored.Set('htmlrenamer.private_html_members', [
|
| 'Document.webkitFullscreenEnabled',
|
| 'Document.webkitHidden',
|
| 'Document.webkitIsFullScreen',
|
| - 'Document.webkitPointerLockElement',
|
| 'Document.webkitVisibilityState',
|
|
|
| 'Element.children',
|
|
|