Use the same rounding for highest grade as other scores bug 1707

diff --git a/mod/quiz/report/overview/report.php b/mod/quiz/report/overview/report.php
index 1250d0f8e133af9795eabc5e79a95794069da805..d4ff76be65b24436c6354ceb1c14675d1f48a73f 100644 (file)
--- a/mod/quiz/report/overview/report.php
+++ b/mod/quiz/report/overview/report.php
@@ -103,7 +103,7 @@ class quiz_report extends quiz_default_report {
             $table->data[] = array ($picture, 
                                     "<a href=\"$CFG->wwwroot/user/view.php?id=$grade->userid&course=$course->id\">".
                                     fullname($grade).'</a>', 
-                                    "$userattempts", round($grade->grade,0));
+                                    "$userattempts", format_float($grade->grade));
         }
 
         //Embed script for warning