From e6a3587c597d966d45a5266691e613ce94988b83 Mon Sep 17 00:00:00 2001
From: tjhunt <tjhunt>
Date: Fri, 21 Nov 2008 06:26:42 +0000
Subject: [PATCH] role assign: MDL-17323 Show users from parent contexts ...
 Refine group labels again.

---
 admin/roles/lib.php | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/admin/roles/lib.php b/admin/roles/lib.php
index 2ea3a02ee1..647c508d25 100644
--- a/admin/roles/lib.php
+++ b/admin/roles/lib.php
@@ -1177,6 +1177,14 @@ class existing_role_holders extends role_assign_user_selector_base {
     }
 
     protected function this_con_group_name($search, $numusers) {
+        if ($this->context->contextlevel == CONTEXT_SYSTEM) {
+            // Special case in the System context.
+            if ($search) {
+                return get_string('extusersmatching', 'role', $search);
+            } else {
+                return get_string('extusers', 'role');
+            }
+        }
         $contexttype = get_contextlevel_name($this->context->contextlevel);
         if ($search) {
             $a = new stdClass;
-- 
2.39.5