git.gnu.io has moved to IP address 209.51.188.249 -- please double check where you are logging in.

Commit 3a74f491 authored by mmn's avatar mmn

stricter typing in GroupsNav menu widget

parent 748bd825
......@@ -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);
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment