Index: sdk/lib/profiler/profiler.dart |
diff --git a/sdk/lib/profiler/profiler.dart b/sdk/lib/profiler/profiler.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..84add7b10d4a7853c71ce659ec000eb6890b4d5e |
--- /dev/null |
+++ b/sdk/lib/profiler/profiler.dart |
@@ -0,0 +1,14 @@ |
+// Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file |
+// for details. All rights reserved. Use of this source code is governed by a |
+// BSD-style license that can be found in the LICENSE file. |
+ |
+/// Please see 'dart:developer'. |
+@Deprecated("Dart SDK 1.12") |
+library dart.profiler; |
+ |
+export 'dart:developer' show getCurrentTag, |
+ Counter, |
+ Gauge, |
+ Metric, |
+ Metrics, |
+ UserTag; |