Change getRange to sublist. Make getRange deprecated.

sdk/lib/_internal/dartdoc/lib/src/client/dropdown.dart

Index: sdk/lib/_internal/dartdoc/lib/src/client/dropdown.dart
diff --git a/sdk/lib/_internal/dartdoc/lib/src/client/dropdown.dart b/sdk/lib/_internal/dartdoc/lib/src/client/dropdown.dart
index b5e877aa6defc34ac9427398a89a0018d0225f9d..8101f5de273e3e0690bd0927746cf445e576678a 100644
--- a/sdk/lib/_internal/dartdoc/lib/src/client/dropdown.dart
+++ b/sdk/lib/_internal/dartdoc/lib/src/client/dropdown.dart
@@ -78,7 +78,7 @@ updateDropDown(Event event) {
     if (results.length >= 10) {
       var row = table.insertRow(table.rows.length);
       row.innerHtml = '<tr><td>+ ${results.length-10} more.</td></tr>';
-      results = results.getRange(0, 10);
+      results = results.sublist(0, 10);
     }
   }
   dropdown.children = elements;
@@ -360,4 +360,4 @@ void setupSearch(var libraries) {
   searchInput.onReset.listen(updateDropDown);
   searchInput.onFocus.listen((event) => showDropDown());
   searchInput.onBlur.listen((event) => hideDropDown());
-}
+}