| Index: tools/dom/scripts/htmlrenamer.py
|
| diff --git a/tools/dom/scripts/htmlrenamer.py b/tools/dom/scripts/htmlrenamer.py
|
| index c7dce3737b8b1f7c54dbb2333a41d15b2bcddd76..0ef9fe92f3d8fcd91f248a711519f9cfb1bada39 100644
|
| --- a/tools/dom/scripts/htmlrenamer.py
|
| +++ b/tools/dom/scripts/htmlrenamer.py
|
| @@ -134,6 +134,7 @@ _removed_html_interfaces = [
|
| 'WebKitCSSTransformValue',
|
| 'WebKitMediaSource',
|
| 'WebKitNotification',
|
| + 'WebGLRenderingContextBase',
|
| 'WebKitSourceBuffer',
|
| 'WebKitSourceBufferList',
|
| 'WorkerLocation', # Workers
|
|
|