PluginReplacement: fix javadoc formatting
authorYann Cébron <yann.cebron@jetbrains.com>
Wed, 12 Aug 2020 15:53:29 +0000 (17:53 +0200)
committerintellij-monorepo-bot <intellij-monorepo-bot-no-reply@jetbrains.com>
Wed, 12 Aug 2020 16:17:55 +0000 (16:17 +0000)
GitOrigin-RevId: c0e8af210f4c4d1608c8b1afc779eb9748e7bf14

platform/platform-api/src/com/intellij/ide/plugins/PluginReplacement.java

index 7234423aa9d2375ec5622808c11d4b0713003c4a..93e8ac753f60e049d3d233d81dc0cadc551314bb 100644 (file)
@@ -1,4 +1,4 @@
-// Copyright 2000-2019 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
+// Copyright 2000-2020 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
 package com.intellij.ide.plugins;
 
 import com.intellij.ide.IdeBundle;
@@ -8,9 +8,9 @@ import com.intellij.openapi.extensions.PluginDescriptor;
 import org.jetbrains.annotations.NotNull;
 
 /**
- * Implement this class in your plugin if there is another plugin which functionality covers functionality provided by this plugin so there
- * is no sense to have the both plugins installed together. This will instruct the IDE to suggest a user to disable this plugin when he
- * downloads the new plugin in Settings | Plugins.
+ * Implement this class in your plugin if there is another plugin whose functionality covers functionality provided by this plugin,
+ * so there is no sense to have both plugins installed simultaneously.
+ * The IDE then suggests the user disable this plugin when she downloads the new plugin in Settings | Plugins.
  * <p/>
  * The implementation must be registered in plugin.xml of the plugin you want to replace:
  * <pre>