Update signature of UserGroupsChanged to match documentation
authorUmherirrender <umherirrender_de.wp@web.de>
Sun, 17 Sep 2017 09:09:53 +0000 (11:09 +0200)
committerUmherirrender <umherirrender_de.wp@web.de>
Tue, 19 Sep 2017 17:31:26 +0000 (19:31 +0200)
commitc1281350fc54b4c353d4d033c09ffe8e1890ecad
treec1ae60c63388b881016425b9ccf547962353baa4
parentf241cc7a5fd4cad331c80a5b981c353099d57d36
Update signature of UserGroupsChanged to match documentation

UserGroupsChanged is called in Special:UserRights with seven args
The caller in User.php only has five

Change-Id: I221da323c79bb8da0113533d01b429249d15e7de
includes/auth/AuthManagerAuthPlugin.php
includes/user/User.php