Translations:Manual:$wgDefaultSkin/7/en

In versions up to at most 1.11, upon registration the value of  was copied to the user preferences; thus setting $wgDefaultSkin to another skin would not have had any effect on registered users, even if they never changed their preferences. And it did not have an effect on registered users, who did change the skin to use.