| Index: tools/dom/scripts/monitored.py | 
| diff --git a/tools/dom/scripts/monitored.py b/tools/dom/scripts/monitored.py | 
| index 9d0c8da390a8495414989eae26878a52648a9228..5d180c96964e2b9a97bc855fb0d2592b657114ed 100644 | 
| --- a/tools/dom/scripts/monitored.py | 
| +++ b/tools/dom/scripts/monitored.py | 
| @@ -46,6 +46,9 @@ class Dict(MonitoredCollection): | 
| self._used_keys.add(key) | 
| return self._map.get(key, default) | 
|  | 
| +  def keys(self): | 
| +    return self._map.keys() | 
| + | 
| def CheckUsage(self): | 
| for v in sorted(self._map.keys()): | 
| if v not in self._used_keys: | 
|  |