Add showEmptyNamespaceAsKey and make <empty> grey

Author: erikdubbelboer

css/index.css

@@ -44,6 +44,10 @@ margin-top: .05em;
 cursor: pointer;
 }
 
+#keys li.empty a {
+color: #888;
+}
+
 #keys li.current a {
 background-color: #eee;
 }

includes/config.sample.inc.php

@@ -38,6 +38,7 @@
 
 
   'seperator' => ':',
+  'showEmptyNamespaceAsKey' => false,
 
   // Hide empty databases in the database list (global, valid for all servers unless set at server level)
   'hideEmptyDBs' => false,

index.php

@@ -34,6 +34,10 @@
       }
 
       $key = explode($server['seperator'], $key);
+      if ($key[count($key) - 1] == '' && $config['showEmptyNamespaceAsKey']) {
+        array_pop($key);
+        $key[count($key) - 1] .= ':';
+      }
 
       // $d will be a reference to the current namespace.
       $d = &$namespaces;
@@ -98,6 +102,7 @@ function print_namespace($item, $name, $fullkey, $islast) {
 
         if (empty($name) && $name != '0') {
           $name = '<empty>';
+          $class[] = 'empty';
         }
 
         ?>