From a5c12ff3b8362a90551c3c2de332ccde0e88482d Mon Sep 17 00:00:00 2001
From: Neil Lathwood <neil@lathwood.co.uk>
Date: Mon, 16 Feb 2015 19:24:08 +0000
Subject: [PATCH] Moved badge position in menu

---
 html/includes/print-menubar.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/includes/print-menubar.php b/html/includes/print-menubar.php
index 109ef22c7..283c958c5 100644
--- a/html/includes/print-menubar.php
+++ b/html/includes/print-menubar.php
@@ -80,7 +80,7 @@ foreach (dbFetchRows('SELECT `type`,COUNT(`type`) AS total_type FROM `devices` A
     if (empty($devtype['type'])) {
         $devtype['type'] = 'Generic';
     }
-    echo('            <li><a href="devices/type=' . $devtype['type'] . '/"><img src="images/icons/' . $devtype['type'] . '" border="0" align="absmiddle" /> ' . ucfirst($devtype['type']) . ' <span class="badge alert-info">' . $devtype['total_type'] . '</span></a></li>');
+    echo('            <li><a href="devices/type=' . $devtype['type'] . '/"><span class="badge alert-info">' . $devtype['total_type'] . '</span> <img src="images/icons/' . $devtype['type'] . '" border="0" align="absmiddle" /> ' . ucfirst($devtype['type']) . '</a></li>');
 }
         echo ('</ul>
              </li>');