Also, is there a way to remove the "skin"
choice in the preferences? We just
want this one to be the only one to access.
Edit SpecialPreferences.php, find the bit that lists the skin choices,
and take it out. Sorry, that's not really meant to be configurable so
it's not as clear as it might be.
-- brion vibber (brion @ pobox.com