| 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;
|
|
|