foreach($best as $userid => $gradeid) {
switch($nameformat) {
case B_QUIZRESULTS_NAME_FORMAT_ID:
- $thisname = get_string('user').' '.intval($users[$userid]->idnumber);
+ $thisname = get_string('user').' '.$users[$userid]->idnumber;
break;
case B_QUIZRESULTS_NAME_FORMAT_ANON:
$thisname = get_string('user');
foreach($worst as $userid => $gradeid) {
switch($nameformat) {
case B_QUIZRESULTS_NAME_FORMAT_ID:
- $thisname = get_string('user').' '.intval($users[$userid]->idnumber);
+ $thisname = get_string('user').' '.$users[$userid]->idnumber;
break;
case B_QUIZRESULTS_NAME_FORMAT_ANON:
$thisname = get_string('user');