From 840d1b7cda503855f45116b6b860828b0e67f24f Mon Sep 17 00:00:00 2001
From: Mike Rostermund <mike@kollegienet.dk>
Date: Thu, 16 Apr 2015 01:50:13 +0200
Subject: [PATCH] Hide divider when no plugins are enabled

---
 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 6ac12cb7b..52f1fe486 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>
   ');
 }