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()", |