OK, much better. What was I thinking. :-)

diff --git a/mod/quiz/report/overview/report.php b/mod/quiz/report/overview/report.php
index b31da7e907bb73f80ef6e6965a87aaf3b28c4020..2bc1c9ef174d5841a1e444317ad7217d20125c46 100644 (file)
--- a/mod/quiz/report/overview/report.php
+++ b/mod/quiz/report/overview/report.php
@@ -123,7 +123,7 @@ class quiz_report extends quiz_default_report {
             $attemptgrade = format_float(($attempt->sumgrades / $quiz->sumgrades) * $quiz->grade);
             $attemptdate = userdate($attempt->timestart, $timeformat);
             if ($attempt->timefinish) {
-                $attemptlapse = date("h:i:s", $attempt->timefinish - $attempt->timestart);
+                $attemptlapse = format_time($attempt->timefinish - $attempt->timestart);
             } else {
                 $attemptlapse = "...";
             }