| Index: tools/dom/scripts/database.py
|
| diff --git a/tools/dom/scripts/database.py b/tools/dom/scripts/database.py
|
| index 951a3415733789c57b3560326312288a8ec9de7b..fc8b65905327549c25138e440266a14eab8cab12 100755
|
| --- a/tools/dom/scripts/database.py
|
| +++ b/tools/dom/scripts/database.py
|
| @@ -275,6 +275,13 @@ class Database(object):
|
| raise RuntimeError('Dictionary %s already exists' % dictionary_name)
|
| self._all_dictionaries[dictionary_name] = dictionary
|
|
|
| + def GetDictionaries(self):
|
| + """Returns a list of all loaded dictionaries."""
|
| + res = []
|
| + for _, dictionary in sorted(self._all_dictionaries.items()):
|
| + res.append(dictionary)
|
| + return res
|
| +
|
| def TransitiveSecondaryParents(self, interface, propagate_event_target):
|
| """Returns a list of all non-primary parents.
|
|
|
|
|