From 0a25664d824889d7572da985612696e42ba4266a Mon Sep 17 00:00:00 2001
From: Mike Rostermund <mike@kollegienet.dk>
Date: Wed, 15 Apr 2015 07:13:42 -0700
Subject: [PATCH] Hide divider if there are no active plugins

---
 html/includes/print-menubar.php | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/html/includes/print-menubar.php b/html/includes/print-menubar.php
index 6ac12cb7b8..4c4f2b4fe2 100644
--- a/html/includes/print-menubar.php
+++ b/html/includes/print-menubar.php
@@ -433,8 +433,12 @@ Plugins::call('menu');
 
 if ($_SESSION['userlevel'] >= '10')
 {
-  echo(' 
+  if (dbFetchCell("SELECT COUNT(*) from `plugins` WHERE plugin_active = '1'" > 0) {
+    echo('
             <li role="presentation" class="divider"></li>
+    ');
+  }
+  echo('
             <li><a href="plugin/view=admin"> <i class="fa fa-lock fa-fw fa-lg"></i>Plugin Admin</a></li>
   ');
 }