| Index: tools/dom/scripts/dartdomgenerator.py
|
| diff --git a/tools/dom/scripts/dartdomgenerator.py b/tools/dom/scripts/dartdomgenerator.py
|
| index 4b07d771ae6a9a86fbaabd7718b5aa763571c2a8..cacdd6355c510165cbc04194f777873850f02808 100755
|
| --- a/tools/dom/scripts/dartdomgenerator.py
|
| +++ b/tools/dom/scripts/dartdomgenerator.py
|
| @@ -106,6 +106,7 @@ def GenerateFromDatabase(common_database,
|
| exclude_suppressed = ['WebKit', 'Dart'])
|
| generator.FixEventTargets(webkit_database)
|
| generator.AddMissingArguments(webkit_database)
|
| + generator.HackCleanupTimers(webkit_database)
|
|
|
| emitters = multiemitter.MultiEmitter(logging_level)
|
| metadata = DartMetadata(
|
|
|