Page MenuHomeMiraheze

Add $wgHiddenPrefs and $wgDefaultUserOptions to ManageWiki
Closed, InvalidPublic

Description

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.

Event Timeline

Unknown Object (User) created this task.Aug 28 2020, 04:16
Unknown Object (User) lowered the priority of this task from Normal to Low.Aug 28 2020, 04:17
Unknown Object (User) edited projects, added ManageWiki; removed MediaWiki.
Unknown Object (User) moved this task from Backlog to Features on the ManageWiki board.Aug 28 2020, 04:17
Unknown Object (User) updated the task description. (Show Details)Aug 28 2020, 04:22
Unknown Object (User) closed this task as Invalid.Oct 3 2020, 17:32
Unknown Object (User) claimed this task.

On second thought this may not be possible.

@Universal_Omega Is it still impossible? I really want this.

Unknown Object (User) added a comment.Mar 19 2023, 05:05

@Universal_Omega Is it still impossible? I really want this.

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.

In T6110#214000, @Universal_Omega wrote:

@Universal_Omega Is it still impossible? I really want this.

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.

Why is it impossible? Also, when did you resign? Thanks for your VERY fast reply!

Unknown Object (User) added a comment.Mar 19 2023, 05:18

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.

In T6110#214003, @Universal_Omega wrote:

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?

Unknown Object (User) added a comment.Mar 19 2023, 05:29

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.

In T6110#214015, @Universal_Omega wrote:

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.

Thanks! Is there anyone who works on this who I could ask for further inquiry?

Unknown Object (User) added a comment.EditedMar 19 2023, 05:37

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.

In T6110#214023, @Universal_Omega wrote:

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 could you do this?

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.