| Index: tools/dom/scripts/htmlrenamer.py
|
| diff --git a/tools/dom/scripts/htmlrenamer.py b/tools/dom/scripts/htmlrenamer.py
|
| index addddd92d9f79eb543c949b6bc015cd0076eb6ce..c842245379045bbf6dfaa3b89f8f33747eda3876 100644
|
| --- a/tools/dom/scripts/htmlrenamer.py
|
| +++ b/tools/dom/scripts/htmlrenamer.py
|
| @@ -850,6 +850,7 @@ removed_html_members = monitored.Set('htmlrenamer.removed_html_members', [
|
| # Manual dart: library name lookup.
|
| _library_names = monitored.Dict('htmlrenamer._library_names', {
|
| 'ANGLEInstancedArrays': 'web_gl',
|
| + 'CHROMIUMSubscribeUniform': 'web_gl',
|
| 'Database': 'web_sql',
|
| 'Navigator': 'html',
|
| 'Window': 'html',
|
| @@ -857,6 +858,7 @@ _library_names = monitored.Dict('htmlrenamer._library_names', {
|
|
|
| _library_ids = monitored.Dict('htmlrenamer._library_names', {
|
| 'ANGLEInstancedArrays': 'WebGl',
|
| + 'CHROMIUMSubscribeUniform': 'WebGl',
|
| 'Database': 'WebSql',
|
| 'Navigator': 'Html',
|
| 'Window': 'Html',
|
|
|