MDL-9025: Fixed the given line, plus one in user/index.php that didn't get filtered either when viewing all users with a given role: e.g. user/index.php?contextid=38&roleid=3

user/index.php

@@ -403,7 +403,7 @@
         }
         $a->number = $totalcount;
         $a->role = $currentrole->name;
-        $heading = get_string('xuserswiththerole', 'role', $a);
+        $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.'">';
             $heading .= '<img src="'.$CFG->pixpath.'/i/edit.gif" class="icon" alt="" /></a>';

user/view.php

@@ -327,7 +327,7 @@
 /// printing roles
     
     if ($rolestring = get_user_roles_in_context($id, $coursecontext->id)) {
-        print_row(get_string('roles').':', $rolestring);
+        print_row(get_string('roles').':', format_string($rolestring, false));
     }
 
 /// Printing groups