In our MediaWiki 1.18.1 system, user skin preferences are mysteriously changing. Any
advice?
Our admins set everybody to use the Vector skin and hid all the other skins in
LocalSettings.php, like so:
$wgDefaultSkin = 'vector';
// We want the Vector JavaScript & CSS page links to show up in My Preferences,
// so don't use $wgHiddenPrefs[] = 'skin'. Hide skins individually.
$mySkipSkins = array(
'chick',
'standard',
'cologneblue',
'modern',
'monobook',
'myskin',
'nostalgia',
'simple',
);
$wgSkipSkins = array_merge($wgSkipSkins, $mySkipSkins);
We also removed all "skin" rows from the user_properties table by database
delete command. Nevertheless, some users get the monobook skin sometimes, and we are
seeing rows created in user_properties, sometimes blank, and sometimes with up_value =
'monobook'.
mysql> select * from wp_user_properties where up_property = 'skin';
+---------+-------------+----------+
| up_user | up_property | up_value |
+---------+-------------+----------+
| 537 | skin | |
| 1341 | skin | |
| 559 | skin | |
| 1327 | skin | |
| 659 | skin | |
+---------+-------------+----------+
Users are not setting their skin on purpose to cause this -- something is happening behind
their backs. Does anybody have any idea why this is happening, and how to prevent anyone
from getting other skins applied? Thanks.
DanB