stricter typing in GroupsNav menu widget

diff --git a/lib/groupsnav.php b/lib/groupsnav.php
index 8e5d1a39fb60584f29b001103c74f5fb8ce0ca24..f047e16a60e4a916111d8e07a00cf345192149fd 100644 (file)
--- a/lib/groupsnav.php
+++ b/lib/groupsnav.php
@@ -91,7 +91,7 @@ class GroupsNav extends MoreMenu
                      _('See all groups you belong to.'));
     }
 
-    function item($actionName, $args, $label, $description, $id=null, $cls=null)
+    function item($actionName, array $args, $label, $description, $id=null, $cls=null)
     {
         if ($actionName != 'placeholder') {
             return parent::item($actionName, $args, $label, $description, $id, $cls);