| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, 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 library html_common; | 5 library html_common; |
| 6 | 6 |
| 7 import 'dart:collection'; | 7 import 'dart:collection'; |
| 8 import 'dart:collection-dev'; | 8 import 'dart:collection-dev'; |
| 9 import 'dart:html'; | 9 import 'dart:html'; |
| 10 import 'dart:_js_helper' show Creates, Returns; |
| 11 import 'dart:_foreign_helper' show JS; |
| 10 | 12 |
| 11 import 'metadata.dart'; | 13 import 'metadata.dart'; |
| 12 export 'metadata.dart'; | 14 export 'metadata.dart'; |
| 13 | 15 |
| 14 part 'conversions.dart'; | 16 part 'conversions.dart'; |
| 15 part 'filtered_element_list.dart'; | 17 part 'filtered_element_list.dart'; |
| 16 part 'lists.dart'; | 18 part 'lists.dart'; |
| 17 | 19 |
| 18 // For annotating deprecated APIs. | 20 // For annotating deprecated APIs. |
| 19 // TODO: remove once @deprecated is added to dart core. | 21 // TODO: remove once @deprecated is added to dart core. |
| 20 const deprecated = 0; | 22 const deprecated = 0; |
| OLD | NEW |