| Index: tools/dom/scripts/generator.py
|
| diff --git a/tools/dom/scripts/generator.py b/tools/dom/scripts/generator.py
|
| index 92768dcb0b92a2a2889c53fe2c95d33ec9755662..ef6ddacc038c3f72a2f0f6fc3e6144ee4b747993 100644
|
| --- a/tools/dom/scripts/generator.py
|
| +++ b/tools/dom/scripts/generator.py
|
| @@ -21,6 +21,8 @@ _pure_interfaces = monitored.Set('generator._pure_interfaces', [
|
| 'EventHandler',
|
| 'MediaQueryListListener',
|
| 'MutationCallback',
|
| + 'NavigatorID',
|
| + 'NavigatorOnLine',
|
| 'ParentNode',
|
| 'SVGExternalResourcesRequired',
|
| 'SVGFilterPrimitiveStandardAttributes',
|
| @@ -98,7 +100,7 @@ _dart2js_dom_custom_native_specs = monitored.Dict(
|
| # IE Firefox
|
| 'CSSStyleDeclaration,MSStyleCSSProperties,CSS2Properties',
|
|
|
| - 'DOMApplicationCache':
|
| + 'ApplicationCache':
|
| 'ApplicationCache,DOMApplicationCache,OfflineResourceList',
|
|
|
| 'HTMLTableCellElement':
|
|
|