Make Plugins page accessible only to permission holders

diff --git a/inc/common.php b/inc/common.php
index 1354e268d0690dba3d8e53a824530f98ef20e86d..ec237fc8b2b0e6d7f69ae5a385a47a9ec868cef5 100644 (file)
--- a/inc/common.php
+++ b/inc/common.php
@@ -491,7 +491,6 @@ $pages = [
                "IP WHOIS" => ["script" => "tools/ip-whois.php","no_irc_server_required"=>true],
        ],
        "Settings" => [
-               "Plugins" => ["script" => "settings/plugins.php","no_irc_server_required"=>true],
                "RPC Servers" => ["script" => "settings/rpc-servers.php","no_irc_server_required"=>true],
        ],
        
@@ -520,6 +519,10 @@ if (!panel_start_session())
                        "no_irc_server_required"=>true
                ];
        }
+       if (current_user_can(PERMISSION_MANAGE_PLUGINS))
+       {
+               $pages["Settings"]["Plugins"] = ["script" => "settings/plugins.php"];
+       }
        $user = unreal_get_current_user();
        if ($user)
        {