Minor

diff --git a/lib/publicgroupnav.php b/lib/publicgroupnav.php
index ee087d8a861835847d43dbf4caa146123d48175e..458614338e6a99fe5e2706bb90b09858febb13db 100644 (file)
--- a/lib/publicgroupnav.php
+++ b/lib/publicgroupnav.php
@@ -98,6 +98,6 @@ class PublicGroupNav extends Widget
 
         $this->action->elementEnd('ul');
         $this->action->elementEnd('dd');
-        $this->action->elementEnd('dl')
+        $this->action->elementEnd('dl');
     }
 }