/**
* Default skin, for new users and anonymous visitors. Registered users may
* change this to any one of the other available skins in their preferences.
- * This have to be completely lowercase; see the "skins" directory for the list
+ * This has to be completely lowercase; see the "skins" directory for the list
* of available skins.
*/
$wgDefaultSkin = 'vector';