From 2f2cfe222f02b5d35569ebc69bcefc64c700c2f5 Mon Sep 17 00:00:00 2001
From: Nate Jones <git@reliberate.com>
Date: Thu, 24 Jul 2014 09:24:53 +0000
Subject: [PATCH] Domain Selector: Display number of domains next to title.

---
 themes/enhanced/template.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/themes/enhanced/template.php b/themes/enhanced/template.php
index 9fb91d2b72..8e28e267a5 100644
--- a/themes/enhanced/template.php
+++ b/themes/enhanced/template.php
@@ -922,7 +922,7 @@ legend {
 			<div id="domains_block">
 				<div id="domains_header">
 					<input id="domains_hide" type="button" class="btn" style="float: right" value="<?php echo $text['theme-button-close']; ?>">
-					<b style="color: #000;"><?php echo $text['theme-title-domains']; ?></b>
+					<b style="color: #000;"><?php echo $text['theme-title-domains']; ?></b> (<?php echo sizeof($_SESSION['domains']); ?>)
 					<br><br>
 					<input type="text" id="domain_filter" class="formfld" style="min-width: 100%; width: 100%;" placeholder="<?php echo $text['theme-label-search']; ?>" onkeyup="domain_search(this.value);">
 				</div>