Page MenuHomePhabricator

Create UserOptionsManager
Closed, ResolvedPublic

Description

User options management should be pulled out of the User class and converted into a mediawiki service.

Event Timeline

Change 565462 had a related patch set uploaded (by Ppchelko; owner: Ppchelko):
[mediawiki/core@master] Introduce UserOptionsManager and DefaultOptionsManager

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

daniel triaged this task as Medium priority.Apr 7 2020, 12:51 PM

Change 565462 merged by jenkins-bot:
[mediawiki/core@master] Introduce UserOptionsManager and DefaultOptionsManager

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

Change 593818 had a related patch set uploaded (by DannyS712; owner: DannyS712):
[mediawiki/core@master] Inject UserOptionsLookup into GenderCache

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

Change 599403 had a related patch set uploaded (by Ppchelko; owner: Ppchelko):
[mediawiki/core@master] UserOptionsManager: take into account $queryFlags when caching

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

Change 599403 merged by jenkins-bot:
[mediawiki/core@master] UserOptionsManager: take into account $queryFlags when caching

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

The UserOptionsManager was created, now we need to update the usages, but that could be tracked under the parent task.

Change 593818 abandoned by DannyS712:

[mediawiki/core@master] Inject UserOptionsLookup into GenderCache

Reason:

was done in I778d2c4cd8de2aee138566fe82d658d046edf3f4

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