One more use of decimalpoints

2005-02-14 19:57:45 +00:00
parent b3369ddb01
commit c6e88f1059
1 changed files with 1 additions and 1 deletions
@@ -221,7 +221,7 @@ function quiz_user_outline($course, $user, $mod, $quiz) {
    if ($grade = get_record('quiz_grades', 'userid', $user->id, 'quiz', $quiz->id)) {

        if (floatval($grade->grade)) {
-            $result->info = get_string('grade').': '.$grade->grade;
+            $result->info = get_string('grade').':&nbsp;'.format_float($grade->grade, $quiz->decimalpoints);
        }
        $result->time = $grade->timemodified;
        return $result;