| Index: sdk/lib/_internal/dartdoc/lib/dartdoc.dart
|
| diff --git a/sdk/lib/_internal/dartdoc/lib/dartdoc.dart b/sdk/lib/_internal/dartdoc/lib/dartdoc.dart
|
| index f005351da8cae00cb969e400e910b7e5806b781d..1f94af616f8a5b2963bb768fe21453b96ebf0b50 100644
|
| --- a/sdk/lib/_internal/dartdoc/lib/dartdoc.dart
|
| +++ b/sdk/lib/_internal/dartdoc/lib/dartdoc.dart
|
| @@ -17,9 +17,9 @@
|
| library dartdoc;
|
|
|
| import 'dart:async';
|
| +import 'dart:convert';
|
| import 'dart:io';
|
| import 'dart:isolate';
|
| -import 'dart:json' as json;
|
| import 'dart:math';
|
|
|
| import 'package:path/path.dart' as path;
|
| @@ -778,7 +778,7 @@ class Dartdoc {
|
| */
|
| void docNavigationJson() {
|
| startFile('nav.json');
|
| - writeln(json.stringify(createNavigationInfo()));
|
| + writeln(JSON.encode(createNavigationInfo()));
|
| endFile();
|
| }
|
| /// Whether dartdoc is running from within the Dart SDK or the
|
| @@ -802,7 +802,7 @@ class Dartdoc {
|
| if (!tmpDir.existsSync()) {
|
| tmpDir.createSync();
|
| }
|
| - String jsonString = json.stringify(createNavigationInfo());
|
| + String jsonString = JSON.encode(createNavigationInfo());
|
| String dartString = jsonString.replaceAll(r"$", r"\$");
|
| var filePath = path.join(tmpPath, 'client.dart');
|
|
|
|
|