On Mon, Apr 16, 2012 at 6:37 AM, Platonides Platonides@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).