Remove else from UserGroupMembership
authorReedy <reedy@wikimedia.org>
Fri, 18 May 2018 19:39:26 +0000 (19:39 +0000)
committerReedy <reedy@wikimedia.org>
Fri, 18 May 2018 19:52:40 +0000 (19:52 +0000)
commitf22a83c3b0f2a8d568cdade08404ea9469661f1b
treea62523697166b0f21954fdc226169c9508dcd53a
parent7afc5cf735a9c1e9c96c62ff227571d03f53b454
Remove else from UserGroupMembership

Change-Id: I7c18df1cab69df5f124c95b1ddb241e3f1be5927
includes/user/UserGroupMembership.php