--- Comment #3 from Alex Kozak <ako...@creativecommons.org> 2010-09-08 20:24:59
We'd set the $wgDefaultSkin = 'vector', but are unable to replicate the
original bug (the vector skin is enabled just fine according to our users).
It's possible there was an unrelated issue (maybe a syntax error in
LocalSettings when we first set the new default skin).
Is there somewhere in the documentation I or someone can make a note that "php
userOptions.php skin --usage" will not display the skin preference if it's set
to the default, since that's somewhat unintuitive behavior? Maybe it isn't that
big of an issue.
Thanks for the help!
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
You are on the CC list for the bug.
Wikibugs-l mailing list