From f6022e80fbb6fe531a8f1cf6e24419508b5a8faa Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Mon, 16 Dec 2019 01:17:27 +0000
Subject: [PATCH] Let's only have one Help link

---
 ext/ext_manager/main.php | 2 --
 1 file changed, 2 deletions(-)

diff --git a/ext/ext_manager/main.php b/ext/ext_manager/main.php
index 7f06c9a6..bb3bc426 100644
--- a/ext/ext_manager/main.php
+++ b/ext/ext_manager/main.php
@@ -100,8 +100,6 @@ class ExtManager extends Extension
         global $user;
         if ($user->can(Permissions::MANAGE_EXTENSION_LIST)) {
             $event->add_link("Extension Manager", make_link("ext_manager"));
-        } else {
-            $event->add_link("Help", make_link("ext_doc"));
         }
     }