This seems like something that should be pretty straight forward, but I'll be darned if I can find it. How do I set the defeult theme? I've found how to change it in user preferences, but cannot find where to set the default.
Thanks, jdk
On May 3, 2004, at 21:39, JDK wrote:
This seems like something that should be pretty straight forward, but I'll be darned if I can find it. How do I set the defeult theme? I've found how to change it in user preferences, but cannot find where to set the default.
Sorry, it's a little non-obvious.
In languages/Language.php, find this bit:
/* private */ $wgDefaultUserOptionsEn = array( "quickbar" => 1, "underline" => 1, "hover" => 1, "cols" => 80, "rows" => 25, "searchlimit" => 20, "contextlines" => 5, "contextchars" => 50, "skin" => 0, .......
It's that 0 after "skin" you want to change:
0: Standard 1: Nostalgia 2: Cologne Blue
-- brion vibber (brion @ pobox.com)
wikitech-l@lists.wikimedia.org