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)