User Preference descriptions - Where stored & changed, and where documented? - How to mark the "defaults"?
I suggested at en.wiki, that default preferences should be marked, and I'm bringing the synopsis here.
Ideally, we mark the defaults within mediawiki itself, so that all wikis can benefit. (Versus, us hacking together a custom fix at every language/project).
It would be best if they were all marked within the Special:Preferences page/tabs itself, and automagically updated when a sysop changes the default itself (rather than, any change requiring a separate edit to a documentation page).
Context / rationale:
Marking ALL the Special:Preferences defaults, on every tab, would be helpful. There's the "Restore all default settings" button-of-doom which wipes out all our customizations (except email-address, afaik), but often I'll want to make sure that I'm seeing a page the way most other editors do. Eg. setting thumbnail size defaults. I know I've changed a few options at Special:Preferences#mw-prefsection-editing, but I'm not sure which...
Options, for the visual indicator of "default":
- Markers. (Placed either next to the check-box/form-field, or after the description. Needs to support true/false checkboxes, and strings.)
- At Commons:Special:Preferences#mw-prefsection-gadgets there are superscripted d markers for the default options.
- A coloured-text marker, e.g. "(default)", as suggested by User:קיפודנחש at the en:wp:VPT thread.
- A mouse-over tooltip. (Downside: Requires user-discovery. Also hard to see at-a-glance how many items I've changed from default.)
I searched for 30 minutes, but got very lost. I was hoping to find a page that explained where the descriptions are kept. Manual:$wgDefaultUserOptions seems to contain info on changing the values, but not the descriptions. Possibly it's not documented anywhere? (Or possibly I've just had insufficient coffee and/or experience with mediawiki...).
Hope that helps!
I would not take a mouse over tooltipp - not visible enough. And imagine you have a list with say 10 items; how long do you think the average user will invest until he found the default? No. A text "(default)" sounds nice.
But please don't add it to all and every field there: Yes, an empty name and e-mail-address are the default... ;-)
I think the right place to actually get it done would be an issue in bugzilla or even better the corresponding patch in Gerrit. :-)
I'm looking for those default settings as well. I noticed I had a (40 alfanum ) watchlist token, but I can't remember ever having enabled that feature and I don't use RSS feeds.
Last edit: 18:50, 15 July 2013
The random watchlist token example is automatically created. Everyone gets one. The feature is safely ignorable.
I found 6 descriptions at Mediawiki:Tog-..., but where are the rest? (I assume they're buried in the mediawiki code itself, but what sections/keywords, so that I can fill out a better bugreport?)
And, where should I request input next (I'll just post a link pointing to this thread), given that my question here, and at en.wiki, and at bugzilla:17188, haven't been responded to? Thanks :)
I saw this when it got moved to this page. I don't know what the exact UX might be, but I've definitely seen other preference pages where the default is shown, and I think this is a good idea. Has anyone filed a bug yet?
Currently, there are just the 3 bugs I linked in the top post, which either mention or get close to the fundamental issue.
As mentioned above, Commons adds d markers, but only for the Gadgets section, and they have to be manually kept up-to-date. We really want/need something that is automagically updated, when a site setting is changed. I don't understand the technical aspects well enough to file a bug for that, or to flesh out the idea beyond what I wrote above.
(Sidenote: I also added this issue as a crucial "High level requirement" (#3) at Requests for comment/Redesign user preferences, all of which could use more feedback/brainstorming/assistance over the coming weeks and months. :)