https://bugzilla.wikimedia.org/show_bug.cgi?id=25416
Dmitriy changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|
https://bugzilla.wikimedia.org/show_bug.cgi?id=25416
--- Comment #5 from Roan Kattouw 2010-10-11 14:21:34
UTC ---
There seems to have been a bug in the backwards compatibility code for
old-style preferences, which I hope to have fixed in r74625. Could you test
with that rev and see if the warnin
https://bugzilla.wikimedia.org/show_bug.cgi?id=25416
--- Comment #4 from Roan Kattouw 2010-10-06 14:30:23
UTC ---
(In reply to comment #3)
> We haven't run the preferences conversion script, so there might still be some
> old style preferences in the database. Could that affect it?
I think that
https://bugzilla.wikimedia.org/show_bug.cgi?id=25416
Niklas Laxström changed:
What|Removed |Added
CC||niklas.laxst...@gmail.com
--- Commen
https://bugzilla.wikimedia.org/show_bug.cgi?id=25416
Dmitriy changed:
What|Removed |Added
CC||c...@uniyar.ac.ru
--- Comment #2 from Dmitri
https://bugzilla.wikimedia.org/show_bug.cgi?id=25416
--- Comment #1 from Roan Kattouw 2010-10-04 16:54:54
UTC ---
Siebrand reported this too, but I have no idea why it's happening. I can't
reproduce it, and from looking at the code it should be impossible.
'editfont' is defined in $wgDefaultUse
