mirror/php-adminer
1
0
Fork 0
mirror of https://github.com/vrana/adminer.git synced 2025-08-11 00:54:08 +02:00
Code Issues Releases Wiki Activity

Save bytes

Browse Source
This commit is contained in:
Jakub Vrana
2011-06-22 16:50:38 +02:00
parent 0d427ad5a8
commit 0060c608d6
2 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
adminer/include/editing.inc.php
View File

@@ -118,12 +118,12 @@ function textarea($name, $value, $rows = 10, $cols = 80) {
}
/** Format time difference
* @param array ($sec, $sec)
* @param array ($sec, $sec)
* @param string output of microtime()
* @param string output of microtime()
* @return string HTML code
*/
function format_time($start, $end) {
return " <span class='time'>(" . lang('%.3f s', max(0, $end[0] - $start[0] + $end[1] - $start[1])) . ")</span>";
return " <span class='time'>(" . lang('%.3f s', max(0, array_sum(explode(" ", $end)) - array_sum(explode(" ", $start)))) . ")</span>";
}
/** Print table columns for type edit