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