| OLD | NEW |
| 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 // WARNING: Do not edit - generated code. | 5 // WARNING: Do not edit - generated code. |
| 6 | 6 |
| 7 /** | 7 /** |
| 8 * @fileoverview Dart externs for DOM runtime. | 8 * @fileoverview Dart externs for DOM runtime. |
| 9 * @externs | 9 * @externs |
| 10 */ | 10 */ |
| 11 | 11 |
| 12 if (false) { | 12 if (false) { |
| 13 | 13 |
| 14 var dart_dom_externs = function(){}; | 14 var dart_dom_externs = function(){}; |
| 15 | 15 |
| 16 // Fields placed on DOM objects and JavaScript constructor functions. | 16 // Fields placed on DOM objects and JavaScript constructor functions. |
| 17 dart_dom_externs.prototype._dart; | 17 dart_dom_externs.prototype._dart; |
| 18 dart_dom_externs.prototype._dart_class; | 18 dart_dom_externs.prototype._dart_class; |
| 19 dart_dom_externs.prototype._dart_localStorage; | 19 dart_dom_externs.prototype._dart_localStorage; |
| 20 | 20 |
| 21 // Fields placed on Dart objects by native code. | 21 // Fields placed on Dart objects by native code. |
| 22 dart_dom_externs.prototype.$dom; | 22 dart_dom_externs.prototype.$dom; |
| 23 | 23 |
| 24 // Externs missing from JavaScript back-end. | 24 // Externs missing from JavaScript back-end. |
| 25 Window.prototype.AudioContext; |
| 26 Window.prototype.webkitAudioContext; |
| 25 Window.prototype.webkitRequestAnimationFrame; | 27 Window.prototype.webkitRequestAnimationFrame; |
| 26 Window.prototype.webkitCancelRequestAnimationFrame; | 28 Window.prototype.webkitCancelRequestAnimationFrame; |
| 27 Window.prototype.webkitConvertPointFromPageToNode; | 29 Window.prototype.webkitConvertPointFromPageToNode; |
| 28 Window.prototype.webkitConvertPointFromNodeToPage; | 30 Window.prototype.webkitConvertPointFromNodeToPage; |
| 29 | 31 |
| 30 // Externs for DOM objects. | 32 // Externs for DOM objects. |
| 31 var $NAMESPACE = function(){}; | 33 var $NAMESPACE = function(){}; |
| 32 | 34 |
| 33 $!PROPS | 35 $!PROPS |
| 34 | 36 |
| 35 } | 37 } |
| OLD | NEW |