From 32cf279b92f9dc3943265607f25c824d35f3f52c Mon Sep 17 00:00:00 2001 From: Nicolas Debrigode Date: Thu, 16 Feb 2017 09:35:41 +0100 Subject: [PATCH] auto-refresh history page --- history.php | 1 + 1 file changed, 1 insertion(+) diff --git a/history.php b/history.php index 4f2709e..e9cb210 100644 --- a/history.php +++ b/history.php @@ -51,6 +51,7 @@ if ( isset($_GET['as']) ) { + <?php echo $title ?>