UserPlugins: Add clickable badges to external user pluginsfeat/userpluginbadge

This patch adds a button to each user plugin (this is determined by the
plugin directory). Additionally user plugins can specify an
`externalLink` in their plugin definition to have their badge be
clickable and link to an external website.

Co-Authored-By: exhq <91651232+exhq@users.noreply.github.com>

1 files changed, 12 insertions, 0 deletions

diff --git a/src/utils/types.ts b/src/utils/types.ts
index 30c603f..a0ab9b0 100644
--- a/src/utils/types.ts
+++ b/src/utils/types.ts
@@ -91,6 +91,18 @@ export interface PluginDef {
      * plugin's settings page
      */
     settingsAboutComponent?: React.ComponentType;
+    /**
+     * If this plugin is an external / user plugin, this link will point to
+     * the external webpage responsible for this plugin. Local plugins should
+     * not have this set, however, not every UserPlugin will have this set to
+     * a link.
+     */
+    externalLink?: string;
+    /**
+     * Signifies whether this plugin is a UserPlugin or not.
+     * This value is set using a build time script in globPlugins.
+     */
+    isUserPlugin?: boolean;
 }
 
 export enum OptionType {