From 56e12159944642debf573965d5bf8cf1edae18f5 Mon Sep 17 00:00:00 2001
From: David Goodwin <david@palepurple.co.uk>
Date: Sun, 22 Oct 2017 20:15:19 +0100
Subject: [PATCH] upgrade.php: output current/target version

---
 upgrade.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/upgrade.php b/upgrade.php
index 592dd49f..6abc10a9 100644
--- a/upgrade.php
+++ b/upgrade.php
@@ -163,7 +163,7 @@ function _do_upgrade($current_version) {
 
     if ($current_version >= $target_version) {
         # already up to date
-        echo "<p>Database is up to date</p>";
+        echo "<p>Database is up to date: $current_version/$target_version </p>";
         return true;
     }