From 25dd29fef9cf0bda4582e9245ed554038a31a5bf Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 17 Mar 2006 10:06:45 +0000 Subject: [PATCH] go --- matita/scripts/public_html/showquery.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matita/scripts/public_html/showquery.php b/matita/scripts/public_html/showquery.php index 8b54a76fa..7f4a41124 100644 --- a/matita/scripts/public_html/showquery.php +++ b/matita/scripts/public_html/showquery.php @@ -18,7 +18,7 @@ function prettify($s,$name) { $hour = substr($s,8,2); $minute = substr($s,10,2); return $day . "/" . $month . "/" . $year . " " . $hour . ":" . $minute; - } else if ($name == "sum_time" || $name == "sum_timeuser"){ + } else if ($name == "sum_time" || $name == "sum_timeuser" || $name == "time" || $name == "time_user" ){ $min = floor($s / 6000); $sec = floor(($s - $min * 6000) / 100); $cents = $s % 100; -- 2.39.2