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

Print run time next to executed queries

Browse Source
This commit is contained in:
Jakub Vrana
2013-04-25 23:41:46 -07:00
parent 3bc5c17d03
commit 01a2722c94
4 changed files with 16 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -135,7 +135,7 @@ function textarea($name, $value, $rows = 10, $cols = 80) {
* @return string HTML code
*/
function format_time($start, $end) {
return " <span class='time'>(" . lang('%.3f s', max(0, array_sum(explode(" ", $end)) - array_sum(explode(" ", $start)))) . ")</span>";
return lang('%.3f s', max(0, array_sum(explode(" ", $end)) - array_sum(explode(" ", $start))));
}
/** Print table columns for type edit