From a5548ce82362ea65f5bdf7e9734ac0ecd8471d60 Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Sat, 1 Dec 2012 10:01:09 -0800 Subject: [PATCH] Display date in SQL history (thanks to trestna smradlavice) --- adminer/sql.inc.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/adminer/sql.inc.php b/adminer/sql.inc.php index 43e5f8bb..1768ded1 100644 --- a/adminer/sql.inc.php +++ b/adminer/sql.inc.php @@ -205,7 +205,7 @@ if ($history) { print_fieldset("history", lang('History'), $_GET["history"] != ""); foreach ($history as $key => $val) { list($q, $time) = $val; - echo '' . lang('Edit') . " " . @date("H:i:s", $time) . " " . shorten_utf8(ltrim(str_replace("\n", " ", str_replace("\r", "", preg_replace('~^(#|-- ).*~m', '', $q)))), 80, "") . "
\n"; // @ - time zone may be not set + echo '' . lang('Edit') . " " . @date("H:i:s", $time) . " " . shorten_utf8(ltrim(str_replace("\n", " ", str_replace("\r", "", preg_replace('~^(#|-- ).*~m', '', $q)))), 80, "") . "
\n"; // @ - time zone may be not set } echo "\n"; echo "" . lang('Edit all') . "\n";