dump-info additionally dumps a json info file

sdk/lib/_internal/compiler/implementation/dart2js.dart

Index: sdk/lib/_internal/compiler/implementation/dart2js.dart
diff --git a/sdk/lib/_internal/compiler/implementation/dart2js.dart b/sdk/lib/_internal/compiler/implementation/dart2js.dart
index 583c268468beaeb08a30a2f056a9f2b59c0260ee..dce7b2b738b02bdf302b5ce90cc1f6370bb399a0 100644
--- a/sdk/lib/_internal/compiler/implementation/dart2js.dart
+++ b/sdk/lib/_internal/compiler/implementation/dart2js.dart
@@ -421,6 +421,9 @@ Future compile(List<String> argv) {
       } else if (extension == 'info.html') {
         String outName = out.path.substring(out.path.lastIndexOf('/') + 1);
         uri = out.resolve('${outName}.$extension');
+      } else if (extension == 'info.json') {
+        String outName = out.path.substring(out.path.lastIndexOf('/') + 1);
+        uri = out.resolve('$outName.$extension');

[Ty Overby, 2014/06/20 19:36:47]

This could probably be grouped into the case from above.

[Ty Overby, 2014/06/20 19:47:28]

Done.

       } else {
         fail('Unknown extension: $extension');
       }