| Index: tools/dom/scripts/dartdomgenerator.py
|
| diff --git a/tools/dom/scripts/dartdomgenerator.py b/tools/dom/scripts/dartdomgenerator.py
|
| index b5f63ccad96b914597000eb8df16ea05e39046e2..43dc429e0435e577e99f7e7a07d65ca5d8ec14a5 100755
|
| --- a/tools/dom/scripts/dartdomgenerator.py
|
| +++ b/tools/dom/scripts/dartdomgenerator.py
|
| @@ -29,7 +29,8 @@ import utils
|
|
|
| _logger = logging.getLogger('dartdomgenerator')
|
|
|
| -_libraries = ['chrome', 'html', 'indexed_db', 'svg', 'web_audio', 'web_sql']
|
| +_libraries = ['chrome', 'html', 'indexed_db', 'svg', 'typeddata',
|
| + 'web_audio', 'web_sql']
|
|
|
| class GeneratorOptions(object):
|
| def __init__(self, templates, database, type_registry, renamer):
|
|
|