From 54bba850a8bc3e74213b4a6c9344df31ca85aacf Mon Sep 17 00:00:00 2001 From: markjcrane Date: Fri, 14 Aug 2015 08:51:21 -0600 Subject: [PATCH] Add a domain link to the theme. --- themes/enhanced/template.php | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/themes/enhanced/template.php b/themes/enhanced/template.php index 4a8c7796cf..feaef4821e 100644 --- a/themes/enhanced/template.php +++ b/themes/enhanced/template.php @@ -1369,7 +1369,15 @@ if (strlen($_SESSION['message']) > 0) {
- () + ".$text['theme-title-domains']." (".sizeof($_SESSION['domains']).")"; + ?>