Hi,
On 05/11/2017 07:29 AM, Amir E. Aharoni wrote:
2017-05-11 17:16 GMT+03:00 Brad Jorsch (Anomie) bjorsch@wikimedia.org:
Of course, if someone does want to work on implementing a global preferences extension and doing the work to get it deployed, then more power to them. A better solution to be sure, but it'll likely take more time and effort.
My understanding is that the code is kind of there already, but it would have to be deployed, and before deployment it would have to be reviewed. So the manager to convince would be the manager of the team that needs to review and deploy it.
So I wrote Extension:GlobalPreferences[1] a while back because the Tool Labs tool I wrote was a pretty hacky prototype that I was unhappy with.
The main place the extension needs work is a UI that isn't extremely hacky. The part that loads user options out of a central table and overrides locally set ones is basically done.
[1] https://www.mediawiki.org/wiki/Extension:GlobalPreferences
-- Legoktm