Updated mediawiki/extensions Project: mediawiki/extensions/CentralAuth 7ff94cc934933cba1f79aa8bed1882be2cef7b5f null Make Special:GlobalUsers consistent with Special:ListUsers
Make the Special:GlobalUsers/foo behaviour consistent with the one
from Special:ListUsers/foo. (First we look for groups and then for
users).
Right now this returns unexcpected results, see for example:
https://meta.wikimedia.org/wiki/Special:GlobalUsers/Staff (lists users
out of the Staff group, but only starting from Staff)
Change-Id: Ic6791b1ca9c5f73a821ff29c0fdaa03630e5e2b0