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!
:)
Hi all,
(Reposting https://www.mediawiki.org/wiki/Topic:Tyvfh19mba4pway9 here to
garner more input.)
I'm working on Extension:GlobalPreferences and trying to figure out how
best to do things with all preferences, after they've been defined (in
order to show various extra Preferences-form bits