Spruced up "editusers.cgi". Added an "editusers" group.

1 files changed, 3 insertions, 0 deletions

diff --git a/CGI.pl b/CGI.pl
index 5f7a21f88..f6ebcaaa6 100644
--- a/CGI.pl
+++ b/CGI.pl
@@ -838,6 +838,9 @@ sub GetCommandMenu {
             $html .= ", <a href=editparams.cgi>parameters</a>";
             $html .= ", <a href=sanitycheck.cgi><NOBR>sanity check</NOBR></a>";
         }
+        if (UserInGroup("editusers")) {
+            $html .= ", <a href=editusers.cgi>users</a>";
+        }
         if (UserInGroup("editcomponents")) {
             $html .= ", <a href=editproducts.cgi>components</a>";
         }