Page MenuHomePhabricator

FilterListUsers needs uses of global $wgUser removed
Closed, ResolvedPublic

Description

See parent task

Event Timeline

DannyS712 triaged this task as Medium priority.Jan 3 2020, 1:32 AM
DannyS712 created this task.
Restricted Application added a subscriber: Aklapper. · View Herald Transcript

Change 561723 had a related patch set uploaded (by DannyS712; owner: DannyS712):
[mediawiki/extensions/FilterListUsers@master] Remove use of global $wgUser

https://gerrit.wikimedia.org/r/561723

Change 561723 merged by jenkins-bot:
[mediawiki/extensions/FilterListUsers@master] Remove use of global $wgUser

https://gerrit.wikimedia.org/r/561723