r1152: Change the name of the permissions page

diff --git a/includes/class_admin_navigation.php b/includes/class_admin_navigation.php
index e0bfd894e09a9340cc23f46f7e18681ae7ed82cb..a7a76fc1cfdb4854afce8a6eb6a85af9bd47f4d0 100644 (file)
--- a/includes/class_admin_navigation.php
+++ b/includes/class_admin_navigation.php
@@ -341,7 +341,7 @@ class NavLinks
                $navigator->add_component('section', 'users-pages', 'users', _('Users & Permissions'), null);
                $navigator->add_component('link', 'users-pages-users', 'users-pages', _('Users'), 'user.php');
                $navigator->add_component('link', 'users-pages-usergroups', 'users-pages', _('Usergroups'), 'usergroup.php');
-               $navigator->add_component('link', 'users-pages-permissions', 'users-pages', _('Usergroup Permissions'), 'permission.php');
+               $navigator->add_component('link', 'users-pages-permissions', 'users-pages', _('Product-Level Permissions'), 'permission.php');
        }
        
        // ###################################################################