Index: pkg/dartdoc/client-live-nav.dart |
=================================================================== |
--- pkg/dartdoc/client-live-nav.dart (revision 10850) |
+++ pkg/dartdoc/client-live-nav.dart (working copy) |
@@ -30,7 +30,7 @@ |
enableCodeBlocks(); |
// Request the navigation data so we can build the HTML for it. |
- new XMLHttpRequest.get('${prefix}nav.json', (request) { |
+ new HttpRequest.get('${prefix}nav.json', (request) { |
buildNavigation(JSON.parse(request.responseText)); |
}); |
} |