From 5e603077ee81c460af1ae35099c2bb13794cac7c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Yann=20C=C3=A9bron?= Date: Wed, 1 Mar 2023 15:34:08 +0100 Subject: [PATCH] plugin_extension_points.md: fix version --- topics/basics/plugin_structure/plugin_extension_points.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/topics/basics/plugin_structure/plugin_extension_points.md b/topics/basics/plugin_structure/plugin_extension_points.md index ff88f91c8..f36bc01cd 100644 --- a/topics/basics/plugin_structure/plugin_extension_points.md +++ b/topics/basics/plugin_structure/plugin_extension_points.md @@ -138,7 +138,7 @@ public class MyExtensionUsingService { ``` A gutter icon for the `ExtensionPointName` declaration allows navigating to the corresponding [``](plugin_configuration_file.md#idea-plugin__extensionPoints__extensionPoint) declaration in plugin.xml. -Code insight is available for the extension point name String literal (2023.3). +Code insight is available for the extension point name String literal (2022.3). ## Dynamic Extension Points