Move common function

diff --git a/adminer/include/editing.inc.php b/adminer/include/editing.inc.php
index 4d777d2fc36556c16ab3fb97375d7f31ba79e782..6495feaf0db024be75dc0c18626688f323940315 100644 (file)
--- a/adminer/include/editing.inc.php
+++ b/adminer/include/editing.inc.php
@@ -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

diff --git a/adminer/include/functions.inc.php b/adminer/include/functions.inc.php
index 09a4601676b35d8c75264063e2644f9279ca34b4..1fb4725c56147c740bb1671ff1d049825f7e80ef 100644 (file)
--- a/adminer/include/functions.inc.php
+++ b/adminer/include/functions.inc.php
@@ -565,6 +565,15 @@ function queries_redirect($location, $message, $redirect) {
        return query_redirect(queries(), $location, $message, $redirect, false, !$redirect);
 }
 
+/** 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))));
+}
+
 /** Remove parameter from query string
 * @param string
 * @return string