Page MenuHomeMiraheze

Allow specific $wgDefaultUserOptions ๐Ÿ™‚ to be modified by MangeWiki
Closed, DeclinedPublic

Description

$wgDefaultUserOptions["usenewrc"], $wgDefaultUserOptions["rcenhancedfilters-disable"], and $wgDefaultUserOptions["wlenhancedfilters-disable"]

Event Timeline

Bbbtest renamed this task from Allow $wgDefaultUserOptions["usenewrc"] to be modified by MangeWiki to Allow $wgDefaultUserOptions["usenewrc"] $wgDefaultUserOptions["rcenhancedfilters-disable"] $wgDefaultUserOptions["wlenhancedfilters-disable"]๐Ÿ™‚ to be modified by MangeWiki.Mar 19 2023, 05:05
Bbbtest renamed this task from Allow $wgDefaultUserOptions["usenewrc"] $wgDefaultUserOptions["rcenhancedfilters-disable"] $wgDefaultUserOptions["wlenhancedfilters-disable"]๐Ÿ™‚ to be modified by MangeWiki to Allow $wgDefaultUserOptions["usenewrc"], $wgDefaultUserOptions["rcenhancedfilters-disable"], and $wgDefaultUserOptions["wlenhancedfilters-disable"]๐Ÿ™‚ to be modified by MangeWiki.
Void renamed this task from Allow $wgDefaultUserOptions["usenewrc"], $wgDefaultUserOptions["rcenhancedfilters-disable"], and $wgDefaultUserOptions["wlenhancedfilters-disable"]๐Ÿ™‚ to be modified by MangeWiki to Allow specific $wgDefaultUserOptions ๐Ÿ™‚ to be modified by MangeWiki.Mar 19 2023, 19:02
Void updated the task description. (Show Details)
Unknown Object (User) subscribed.Mar 21 2023, 06:50

Just to note that as one who has put significant time into ManageWiki and our cleanish configuration, I am opposed on adding this to ManageWiki, as it is not a clean method of doing so. But it is really not up to me anymore so it's up to whoever ends up actioning this task.

However, these are already done per-request, and there are numerous wikis that have already done them by request and in my opinion that should be how it continues to be done to avoid a much more complicated config.

Anyway, I understand wanting to add them, but some things are better left not in ManageWiki due to risk of overcomplicating, and this, to me, seems to be one such instance. I'll leave this to SRE now that I have said my thoughts on it.

Herald removed a subscriber: Unknown Object (User). ยท View Herald TranscriptMar 21 2023, 06:50

I won't advise adding this to ManageWiki; it would complicate things. There's nothing wrong with doing it at the request of users.
Let's not add to the existing workload when we can dodge it now.
In my humble opines tho.

I accidentaly set the wrong tag; this is asking for a setting to be added to ManageWiki, which is done on the MediaWiki configuration side of things, rather than on the extension's code.

I am also opposed to adding these settings to ManageWiki, as UO has stated. Better to let this be by request.

โ€ข OrangeStar claimed this task.

No need to wait for an SRE member, this task is clearly not going to get done. @Bbbtest If you want to change these settings on one of your wikis, please file a separate task and we'll get to it when able.

โ€ข OrangeStar changed the task status from Resolved to Declined.Mar 21 2023, 16:06
Bbbtest added a subscriber: Unknown Object (User).Mar 22 2023, 00:59

Just to note that as one who has put significant time into ManageWiki and our cleanish configuration, I am opposed on adding this to ManageWiki, as it is not a clean method of doing so. But it is really not up to me anymore so it's up to whoever ends up actioning this task.

However, these are already done per-request, and there are numerous wikis that have already done them by request and in my opinion that should be how it continues to be done to avoid a much more complicated config.

Anyway, I understand wanting to add them, but some things are better left not in ManageWiki due to risk of overcomplicating, and this, to me, seems to be one such instance. I'll leave this to SRE now that I have said my thoughts on it.

How would it complicate things? These are literally true or false options. Can't we just use a checkbox like we use with the VisualEditor?