On Mon, Apr 16, 2012 at 6:37 AM, Platonides <Platonides(a)gmail.com> wrote:
On 15/04/12 21:47, Petr Bena wrote:
It would be better if user could override it on
local wiki, or kept
using global one, per project
He could now.
Preference system have been rewritten since that time.
*I* rewrote the preference system, and my proposed patch for global
preferences was part of that package. It was reverted, mostly to ease
review load. I think that's pretty much what I did when I implemented it (I
had a local flag to disable global preferences).
--
Andrew Garrett
Wikimedia Foundation
agarrett(a)wikimedia.org