diff --git a/plugins/devkit/devkit-core/src/dom/IdeaPlugin.java b/plugins/devkit/devkit-core/src/dom/IdeaPlugin.java index 78b20391923c..108e70ecc9c1 100644 --- a/plugins/devkit/devkit-core/src/dom/IdeaPlugin.java +++ b/plugins/devkit/devkit-core/src/dom/IdeaPlugin.java @@ -191,6 +191,6 @@ public interface IdeaPlugin extends DomElement { * @deprecated the corresponding tag in plugin.xml is not supported anymore, this method is used to highlight occurrences of such a tag */ @SuppressWarnings("SpellCheckingInspection") - @Deprecated + @Deprecated(forRemoval = true) @NotNull List getHelpsets(); }