/**
* Set the currently used skin's name
* @param string $skin Set the skin we're going to use. Useful if a particular plugin needs a special skin (like a storefront)
*/
public static function setSkin($skin)
{
self::initialize(FALSE);
// Do not try to auto-detect - we are setting manually
self::$skin = $skin;
}
