From ed61510be63adcf3c0ff81fa74850e8529575e09 Mon Sep 17 00:00:00 2001
From: toyomoyo <toyomoyo>
Date: Mon, 19 Nov 2007 04:13:15 +0000
Subject: [PATCH] changed to get_recordset_sql because get_records forces the
 first element to be$

---
 user/index.php | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/user/index.php b/user/index.php
index e137056f97..fcc43594b0 100644
--- a/user/index.php
+++ b/user/index.php
@@ -442,7 +442,12 @@
             error('That role does not exist');
         }
         $a->number = $totalcount;
-        $a->role = $currentrole->name;
+        // MDL-12217, use course specific rolename
+        if (isset($rolenames[$currentrole->id])){
+            $a->role = $rolenames[$currentrole->id];
+        }else{                
+            $a->role = $currentrole->name;//safety net
+        }
         $heading = format_string(get_string('xuserswiththerole', 'role', $a));
         if (user_can_assign($context, $roleid)) {
             $heading .= ' <a href="'.$CFG->wwwroot.'/'.$CFG->admin.'/roles/assign.php?roleid='.$roleid.'&amp;contextid='.$context->id.'">';
-- 
2.39.5