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

Move common function

Browse Source
This commit is contained in:
Jakub Vrana
2013-05-08 10:46:16 -07:00
parent a09916737e
commit 6a41240c42
2 changed files with 9 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

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