| Index: pkg/analysis_server/lib/plugin/index.dart
|
| diff --git a/pkg/analysis_server/lib/plugin/index.dart b/pkg/analysis_server/lib/plugin/index.dart
|
| index e8bcf89a609924242ba92c3dae9dff934649674e..096c28d38dbb0ac0b829d4f8be5cff5ac65df097 100644
|
| --- a/pkg/analysis_server/lib/plugin/index.dart
|
| +++ b/pkg/analysis_server/lib/plugin/index.dart
|
| @@ -13,9 +13,8 @@ import 'package:analysis_server/src/plugin/server_plugin.dart';
|
| import 'package:plugin/plugin.dart';
|
|
|
| /**
|
| - * The identifier of the extension point that allows plugins to register new
|
| - * index contributors with the server. The object used as an extension must be
|
| - * an [IndexContributor].
|
| + * The identifier of the extension point that allows plugins to register index
|
| + * contributors. The object used as an extension must be an [IndexContributor].
|
| */
|
| final String INDEX_CONTRIBUTOR_EXTENSION_POINT_ID = Plugin.join(
|
| ServerPlugin.UNIQUE_IDENTIFIER,
|
|
|