| Index: sdk/lib/_internal/dartdoc/lib/src/dartdoc/utils.dart
|
| diff --git a/sdk/lib/_internal/dartdoc/lib/src/dartdoc/utils.dart b/sdk/lib/_internal/dartdoc/lib/src/dartdoc/utils.dart
|
| index cb52f96d6c5bb1d68f55d444754f2a465f509c26..79a9aa64dfcaba0a2e6569477854b6bd132accc1 100644
|
| --- a/sdk/lib/_internal/dartdoc/lib/src/dartdoc/utils.dart
|
| +++ b/sdk/lib/_internal/dartdoc/lib/src/dartdoc/utils.dart
|
| @@ -49,7 +49,7 @@ String unindent(String text, int indentation) {
|
| }
|
|
|
| /** Sorts the map by the key, doing a case-insensitive comparison. */
|
| -List<Mirror> orderByName(Collection<Mirror> list) {
|
| +List<Mirror> orderByName(Iterable<Mirror> list) {
|
| final elements = new List<Mirror>.from(list);
|
| elements.sort((a,b) {
|
| String aName = a.simpleName.toLowerCase();
|
|
|