| Index: tools/dom/scripts/database.py
|
| diff --git a/tools/dom/scripts/database.py b/tools/dom/scripts/database.py
|
| index 11f86670cddce97fc0fd38b7dd2e874ac22160f5..624ad004688a0b30679e8477613fd889a4551200 100755
|
| --- a/tools/dom/scripts/database.py
|
| +++ b/tools/dom/scripts/database.py
|
| @@ -256,10 +256,6 @@ class Database(object):
|
| def walk(parents):
|
| for parent in parents:
|
| parent_name = parent.type.id
|
| - if parent_name == 'EventTarget':
|
| - # Currently EventTarget is implemented as a mixin, not a proper
|
| - # super interface---ignore its members.
|
| - continue
|
| if IsDartCollectionType(parent_name):
|
| result.append(parent_name)
|
| continue
|
| @@ -271,7 +267,7 @@ class Database(object):
|
| result = []
|
| if interface.parents:
|
| parent = interface.parents[0]
|
| - if IsPureInterface(parent.type.id):
|
| + if IsPureInterface(parent.type.id) or parent.type.id == 'EventTarget':
|
| walk(interface.parents)
|
| else:
|
| walk(interface.parents[1:])
|
|
|