From 2af108be180edaa10f17257c6543ba24ec6079e4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Yann=20C=C3=A9bron?= <yann.cebron@jetbrains.com>
Date: Thu, 22 May 2025 14:13:46 +0200
Subject: [PATCH] snippets: pluginDevKitAvailability, reword as everybody will
 be using newer IDE versions

---
 topics/_shared/snippets.topic | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

diff --git a/topics/_shared/snippets.topic b/topics/_shared/snippets.topic
index 0886f0ba9..9936c8dc6 100644
--- a/topics/_shared/snippets.topic
+++ b/topics/_shared/snippets.topic
@@ -29,16 +29,12 @@
         </tip>
     </snippet>
     <snippet id="pluginDevKitAvailability">
-        <p>
-            <emphasis>Plugin DevKit</emphasis>
-            plugin is bundled with IntelliJ IDEA until 2023.2.
-        </p>
-        <warning title="Plugin DevKit Availability">
-            <p>When using IntelliJ IDEA 2023.3 or later, the
+        <warning title="Installing Plugin DevKit plugin">
+            <p>
                 <emphasis>Plugin DevKit</emphasis>
                 plugin must be installed from JetBrains Marketplace (<a
                         href="https://plugins.jetbrains.com/plugin/22851-plugin-devkit">Plugin Homepage</a>)
-                as it is no longer bundled with the IDE.
+                as it is not bundled since version 2023.3.
             </p>
         </warning>
     </snippet>