While I am unsure if this is possible at the moment for ManageWiki. I do feel like adding the ability to modify $wgHiddenPrefs and $wgDefaultUserOptions via ManageWiki could be incredibly beneficial and useful.
Description
Event Timeline
I have resigned from SRE. I am no longer handling extensions for Miraheze right now. But to answer your question I already added $wgHiddenPrefs to ManageWiki a while ago, but $wgDefaultUserOptions is unfortunately still impossible as far as I know.
I resigned yesterday. Its impossible because of the complex structure of $wgDefaultUserOptions, since each key as a preference and each value can be a different type of variable, there isn't really an ideal way to implement it into the UI in ManageWiki. It could be a new field for every possible preference but that would not be good on UI either. Apologies that it isn't possible, and hopefully that this answered your question a bit.
Couldn't it be implement with a list of options that can be added, then when you add one, you could modify the value?
Not really from a UI perspective. It's kinda hard to explain for me, but it really can't be done, unfortunately. Though like I said, I don't handle extensions anymore, at least not for now, so I cant say if it'll ever be attempted or not right now. I agree it's useful, and it would be very nice to have, but unfortunately can't right now as far as I know.
Unfortunately not, I was previously the only active maintainer of the extensions, however OrangeStar might take over to an extent eventually. I am not sure though.
Agent Isai is the Community Engagement Specialist. There's not a reason to be pinging them on this request. They're not an extension developer.