plugin_configuration_file.md: make warning about using non-documented elements more prominent

This commit is contained in:
Yann Cébron 2024-07-08 10:35:31 +02:00
parent a47f1183b9
commit 16d57856f3

View File

@ -28,6 +28,13 @@ See also [](marketing.md) about widgets and badges.
## Configuration Structure Overview
> If an element or an attribute is not documented on this page, consider them as configuration items intended to be used by JetBrains only.
> They must not be used by third-party plugins.
>
{title="Private Configuration Elements" style="warning"}
Deprecated elements are omitted in the list below.
- [`<idea-plugin>`](#idea-plugin)
- [`<id>`](#idea-plugin__id)
- [`<name>`](#idea-plugin__name)
@ -76,13 +83,6 @@ See also [](marketing.md) about widgets and badges.
- [`<listener>`](#idea-plugin__listeners__listener)
- [`<resource-bundle>`](#idea-plugin__resource-bundle)
Deprecated elements are omitted in the list above.
> If an element or an attribute is not documented on this page, please consider them as configuration items intended to be used by JetBrains only.
> They should never be used by 3rd-party plugins.
>
{style="note"}
## `idea-plugin`
{#idea-plugin}