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