| Index: tools/dom/scripts/generator.py
|
| diff --git a/tools/dom/scripts/generator.py b/tools/dom/scripts/generator.py
|
| index 4f5b290e07ccdb2105875d0bf41ee2878c1d80da..28d5ad46dc338b686aa77d74e2b9c5676f8337bb 100644
|
| --- a/tools/dom/scripts/generator.py
|
| +++ b/tools/dom/scripts/generator.py
|
| @@ -622,12 +622,21 @@ _indexed_db_annotations = [
|
| "@Experimental()",
|
| ]
|
|
|
| +_history_annotations = [
|
| + "@SupportedBrowser(SupportedBrowser.CHROME)",
|
| + "@SupportedBrowser(SupportedBrowser.FIREFOX)",
|
| + "@SupportedBrowser(SupportedBrowser.IE, '10')",
|
| + "@SupportedBrowser(SupportedBrowser.SAFARI)",
|
| +]
|
| +
|
| # Annotations to be placed on generated members.
|
| # The table is indexed as:
|
| # INTERFACE: annotations to be added to the interface declaration
|
| # INTERFACE.MEMBER: annotation to be added to the member declaration
|
| dart_annotations = {
|
| 'DOMWindow.indexedDB': _indexed_db_annotations,
|
| + 'History.pushState': _history_annotations,
|
| + 'History.replaceState': _history_annotations,
|
| 'HTMLContentElement': [
|
| "@SupportedBrowser(SupportedBrowser.CHROME, '25')",
|
| "@Experimental()",
|
|
|