From c2ca9403e448b913780c51dd46c3114714b074ab Mon Sep 17 00:00:00 2001 From: Vlad Stan Date: Fri, 20 Jan 2023 10:38:38 +0200 Subject: [PATCH] doc: add note --- docs/guide/extension-install.md | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/docs/guide/extension-install.md b/docs/guide/extension-install.md index b70d45841..c1aa44a8f 100644 --- a/docs/guide/extension-install.md +++ b/docs/guide/extension-install.md @@ -35,7 +35,15 @@ Click the `Manage` button in order to install a particular release of the extens ![image](https://user-images.githubusercontent.com/2951406/213648543-6c5c8cae-3bf4-447f-8499-344cac61c566.png) > **Note** -> An extension can be listed in more that one repository. The admin user must select which repository it wants to installed from. +> An extension can be listed in more that one repository. The admin user must select which repository it wants to install from. + +Select the version to be installed (usually the last one) and click `Install`. One can also check the `Release Notes` first. + +> **Note**: +> +> For Github repository: the order of the releases is the one in the GitHub releases page +> +> For Explicit Release: the order of the releases is the one in the "extensions" object ## Manifest File