| Index: tools/dom/scripts/htmlrenamer.py
|
| diff --git a/tools/dom/scripts/htmlrenamer.py b/tools/dom/scripts/htmlrenamer.py
|
| index 89753be8e3c7798bb2cb600f3a348448e7514dd0..a8ca1a21e9ebdc8ce6ed8ecdc9224ba38d769421 100644
|
| --- a/tools/dom/scripts/htmlrenamer.py
|
| +++ b/tools/dom/scripts/htmlrenamer.py
|
| @@ -717,9 +717,10 @@ removed_html_members = monitored.Set('htmlrenamer.removed_html_members', [
|
|
|
| # Manual dart: library name lookup.
|
| _library_names = monitored.Dict('htmlrenamer._library_names', {
|
| - 'Window': 'html',
|
| + 'ANGLEInstancedArrays': 'web_gl',
|
| 'Database': 'web_sql',
|
| 'Navigator': 'html',
|
| + 'Window': 'html',
|
| 'WorkerContext': 'html',
|
| })
|
|
|
|
|