| Index: tools/dom/scripts/systemhtml.py
|
| diff --git a/tools/dom/scripts/systemhtml.py b/tools/dom/scripts/systemhtml.py
|
| index d86216c92657dece808ede7f7dbfd101c873ba0c..72181094a575ba505fd9171a74ef8409bfc051f8 100644
|
| --- a/tools/dom/scripts/systemhtml.py
|
| +++ b/tools/dom/scripts/systemhtml.py
|
| @@ -874,6 +874,10 @@ class Dart2JSBackend(HtmlDartGenerator):
|
| and not self._OperationRequiresConversions(operation):
|
| has_indexed_getter = True
|
| break
|
| + if operation.id == '__getter__' and 'getter' in operation.specials \
|
| + and not self._OperationRequiresConversions(operation):
|
| + has_indexed_getter = True
|
| + break
|
| return has_indexed_getter
|
|
|
| def AddIndexer(self, element_type, nullable):
|
|
|