From f735882397fd04704a7db0da79e2a0cf9b20ac7e Mon Sep 17 00:00:00 2001
From: Nikolay Chashnikov <nikolay.chashnikov@jetbrains.com>
Date: Fri, 13 Feb 2026 13:09:18 +0100
Subject: [PATCH] IJPL-212619 DevKit: mark deprecated unused API for removal

API, which was marked as deprecated in 252 or earlier and has no external and internal usages, is marked for removal.

GitOrigin-RevId: ad6b23186b845ca27f7c843b132205904faa2002
---
 plugins/devkit/devkit-core/src/dom/IdeaPlugin.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<? extends Helpset> getHelpsets();
 }