https://bugzilla.wikimedia.org/show_bug.cgi?id=24818
--- Comment #3 from Alex Kozak <ako...@creativecommons.org> 2010-09-08 20:24:59 UTC --- 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 Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l