Translations:Manual:$wgDefaultSkin/5/en

Note that this only sets the default skin, for new users and anonymous visitors. Registered users may change this to any one of the other available skins through their preferences page (see Manual:$wgSkipSkins on how to control that).