Page MenuHomeMiraheze
Create Task
Maniphest T6154

Move `$wgDefaultSkin` to Special:ManageWiki/extensions#mw-section-skins
Closed, DeclinedPublic
Actions

Description

Due to the continued confusion about how to change the default skin, I propose the option to do so be moved to Special:ManageWiki/extensions#mw-section-skins instead. I think that adding a second checkbox next to each skin option to "set it as the default" should be considered instead, to avoid the confusion, and for easier changing of it.

Event Timeline

Unknown Object (User) created this task.Sep 6 2020, 19:23
Herald added subscribers: RhinosF1, Void, Reception123, NDKilla. · View Herald TranscriptSep 6 2020, 19:23
Unknown Object (User) edited projects, added ManageWiki; removed MediaWiki.Sep 6 2020, 19:23
Herald added a project: Universal Omega. · View Herald TranscriptSep 6 2020, 19:23
Unknown Object (User) lowered the priority of this task from Normal to Low.Sep 6 2020, 19:24
Unknown Object (User) moved this task from Backlog to Features on the ManageWiki board.
John closed this task as Declined.Sep 7 2020, 12:42
John claimed this task.
John subscribed.

The backend for Extensions and Settings are entirely different, I don’t feel it is a necessary improvement to UX to mix the two which would complicate the code from a backend point.

Skins are not ‘special’, they’re essentially extensions so it’s not possible to cleanly or clearly differentiate them either.

Unknown Object (User) added a comment.Sep 7 2020, 13:06
In T6154#120276, @John wrote:

The backend for Extensions and Settings are entirely different, I don’t feel it is a necessary improvement to UX to mix the two which would complicate the code from a backend point.

Skins are not ‘special’, they’re essentially extensions so it’s not possible to cleanly or clearly differentiate them either.

I understand. I thought it was just a somewhat good idea, but I see what you mean. I didn't consider that.