From fe9ea18d2e87900e5f5a30f4ef609af9b375e387 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Thu, 30 Jan 2020 16:27:12 +0100
Subject: [PATCH] Display time of procedure execution

---
 adminer/call.inc.php | 4 +++-
 changes.txt          | 1 +
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/adminer/call.inc.php b/adminer/call.inc.php
index 8a7c8a00..f8988675 100644
--- a/adminer/call.inc.php
+++ b/adminer/call.inc.php
@@ -48,7 +48,9 @@ if (!$error && $_POST) {
 			if (is_object($result)) {
 				select($result, $connection2);
 			} else {
-				echo "<p class='message'>" . lang('Routine has been called, %d row(s) affected.', $affected) . "\n";
+				echo "<p class='message'>" . lang('Routine has been called, %d row(s) affected.', $affected)
+					. " <span class='time'>" . @date("H:i:s") . "</span>\n" // @ - time zone may be not set
+				;
 			}
 		} while ($connection->next_result());
 		
diff --git a/changes.txt b/changes.txt
index c43d33ce..1930155b 100644
--- a/changes.txt
+++ b/changes.txt
@@ -1,6 +1,7 @@
 Adminer 4.7.6-dev:
 Speed up alter table form (regression from 4.4.0)
 Fix clicking on non-input fields in alter table (regression from 4.6.2)
+Display time of procedure execution
 MySQL: Always set foreign_key_checks in export
 Editor: Fix focusing foreign key search in select