|Global user preferences|
This is a request for comments regarding implementing global user preferences. This request for comments encapsulates user preferences from MediaWiki core and user preferences from MediaWiki extensions (including the Gadgets and BetaFeatures extensions).
Global here refers to preferences that would apply across a wiki-farm (e.g., Wikimedia-wide).
Currently user preferences are stored locally in an individual wiki's user_properties table.
Arbitrary section heading
- Global gadgets (bug 20153)
- Global gadgets are mostly implemented in core and in the "RL2" branch of the Gadgets extension. It needs some cleanup and updating before being deploy-ready.
- Free software license for (global) gadgets on wikitech
- en:Wikipedia:Village pump (policy)/Archive 98#Proper licensing of gadgets, user scripts and lua modules
- bugzilla:14950 – Global preferences
- usage tracking — for gadgets, phab:T35355 and phab:T21288
- bugzilla:3525 – Global watchlists (there is also a Wikipedia essay)
- meta:Global-Wiki, a proposal for a new Wikimedia Foundation sister project
- Special:Preferences on each wiki for user_properties. Compare: on mailman, the options panel for each list is able to change an option for all the lists on the same server, by checking the "change globally" checkbox.
Wikis for stuff which requirs pages
- Outside project scope? Already treated as a central (media) repository with precedence support (where [[File:Foo.ext]] will use the Commons version, unless a local version exists).
- Outside project scope?
- A number of cross-wiki items already largely lives here (global blocking, global title blacklist, global spam blacklist, global user rights, etc.) - but these are administration rather than content sharing.
- Global user CSS/JS also lives on meta, however that is only Wikimedia-wide, not for all MediaWiki users.
- Suggested at: Thread:Talk:ResourceLoader/V2 testing/Questions about permission model and developer workflow, ResourceLoader/Version 2 Design Specification#Shared gadgets
- Already existing community with mainly developer-type people
- Some "global" gadgets are already hosted on mediawiki.org
- Already has populated Template/Module namespaces, might need to move things around to accommodate global ones
- mediawiki.org is treated like a testwiki and is phase0, it might need to be more stable if it is depended upon by all MediaWiki wikis
- MediaWiki.org is its own community and its own wiki. It will likely have local needs that could conflict/get in the way of global needs. It probably makes sense to treat mediawikiwiki as a documentation wiki for the MediaWiki software.
- What is the nature of these conflicts? If we don't use Git, IMO mediawiki.org is the next obvious choice; there's a community here already that does a lot of wiki gardening/gnoming, it's got visibility through lots of inbound links, it's where we coordinate a lot of the larger development efforts, and it serves both WMF and third party users. The main disadvantage that I could see is that code activity could become a little bit overwhelming in Special:RecentChanges and such, but if that became a real problem it could probably be solved with filters, in the same way that translations are filtered by default on Meta.--Eloquence (talk) 08:49, 4 December 2012 (UTC)
- I had to look up who wrote the line about conflicts in the page history. It was me. I can't honestly remember exactly what I meant when I wrote that. I think the idea was that mediawiki.org would have its own modules/templates that serve mediawiki.org (for example, Template:Extension) and there would be naming conflicts/collisions between these pre-existing templates/modules and newer global templates/modules. Basically you're starting with polluted namespaces (Template and Module) on mediawiki.org, as opposed to a separate new site (e.g., scripts.wikimedia.org), which would have empty Template and Module namespaces.
Maybe scripts.wikimedia.org, scripts.mediawiki.org? (see also meta:Global-Wiki and meta:Requests for comment/Global bits and pieces#Locations)
- New wiki, no existing content to worry about