HomePhabricator

Fix retrieval of the effective user groups

Description

Fix retrieval of the effective user groups

Restores compatibility with MediaWiki 1.27+. Patch provided by user
Javawookie (https://phabricator.wikimedia.org/p/Javawookie/)

Bug: T137051
Change-Id: Ia19982f764c53395c7fb32d12d7aab669bbbeef4

Details

Provenance
KghblnAuthored on Aug 2 2016, 7:41 AM
danielCommitted on Aug 6 2016, 1:32 PM
Parents
rELCK9a85128d0d01: [lockdownSearchableNamespaces] Quickfix for empty $wgUser
Branches
Unknown
Tags
Unknown
ChangeId
Ia19982f764c53395c7fb32d12d7aab669bbbeef4