From eb75fbe3908a9fb00518c75788830b36ca0fd507 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Thu, 16 Jan 2025 07:15:29 +0100 Subject: [PATCH] Update generated descriptor pages (#1415) Co-authored-by: karollewandowski <1154140+karollewandowski@users.noreply.github.com> --- topics/basics/plugin_structure/plugin_configuration_file.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/topics/basics/plugin_structure/plugin_configuration_file.md b/topics/basics/plugin_structure/plugin_configuration_file.md index b1c2ba137..3e57c3fe8 100644 --- a/topics/basics/plugin_structure/plugin_configuration_file.md +++ b/topics/basics/plugin_structure/plugin_configuration_file.md @@ -582,7 +582,8 @@ Attributes : - `id` _(optional)_
Unique extension identifier. - It allows for referencing an extension in the `order` attribute. + It allows for referencing an extension in other attributes, for example, in + `order`.
To not clash with other plugins defining extensions with the same identifier, consider prepending the identifier with a prefix related to the plugin [``](#idea-plugin__id) or