| Index: sdk/lib/_internal/dartdoc/lib/src/client/client-live-nav.dart
|
| diff --git a/sdk/lib/_internal/dartdoc/lib/src/client/client-live-nav.dart b/sdk/lib/_internal/dartdoc/lib/src/client/client-live-nav.dart
|
| index 9d52c4962f67c052f5e902e98007fd9edab29154..958fcb1746ee57f7156902be883158f860c61ac1 100644
|
| --- a/sdk/lib/_internal/dartdoc/lib/src/client/client-live-nav.dart
|
| +++ b/sdk/lib/_internal/dartdoc/lib/src/client/client-live-nav.dart
|
| @@ -6,7 +6,7 @@
|
| library client;
|
|
|
| import 'dart:html';
|
| -import 'dart:json' as jsonlib;
|
| +import 'dart:convert';
|
| // TODO(rnystrom): Use "package:" URL (#4968).
|
| import '../../classify.dart';
|
| import '../../markdown.dart' as md;
|
| @@ -20,7 +20,7 @@ main() {
|
|
|
| // Request the navigation data so we can build the HTML for it.
|
| HttpRequest.getString('${prefix}nav.json').then((text) {
|
| - var json = jsonlib.parse(text);
|
| + var json = JSON.decode(text);
|
| buildNavigation(json);
|
| setupSearch(json);
|
| });
|
|
|