From 72fdbbb4e7cd0c58ae7147fc81cbf30d12701d8d Mon Sep 17 00:00:00 2001
From: techpink <7670638+techpink@users.noreply.github.com>
Date: Fri, 4 Aug 2023 12:17:25 +0200
Subject: [PATCH] Added Patcher to docs dropdown

---
 docusaurus.config.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/docusaurus.config.js b/docusaurus.config.js
index 1b9c7afd6a..2a7a7eb09d 100644
--- a/docusaurus.config.js
+++ b/docusaurus.config.js
@@ -126,6 +126,11 @@ const config = {
                 label: "Developer Portal",
                 docId: "developer-portal/create-account",
               },
+              {
+                type: "doc",
+                label: "Patcher",
+                docId: "patcher/index",
+              },
             ],
           },
           {