On Wed, 11 Oct 2017, at 9:43 AM, Sam Wilson wrote:
One idea is to add a new MediaWiki service called
'PreferencesFactory',
This proposal now looks like this:
https://gerrit.wikimedia.org/r/#/c/389665/
If anyone else has time for a bit of a look before xmas, that'd be wizard!
:)