Index: phpMyAdmin-4.7.8-all-languages/libraries/navigation/NavigationTree.php
===================================================================
--- phpMyAdmin-4.7.8-all-languages/libraries/navigation/NavigationTree.php
+++ phpMyAdmin-4.7.8-all-languages/libraries/navigation/NavigationTree.php	2018-12-15 21:40:00.770514124 +0100
@@ -762,7 +762,7 @@
                 }
 
                 $groups[$key] = new Node(
-                    $key,
+                    htmlspecialchars($key),
                     Node::CONTAINER,
                     true
                 );