| Index: trunk/phase3/includes/DefaultSettings.php |
| — | — | @@ -2117,7 +2117,7 @@ |
| 2118 | 2118 | /** |
| 2119 | 2119 | * Default skin, for new users and anonymous visitors. Registered users may |
| 2120 | 2120 | * change this to any one of the other available skins in their preferences. |
| 2121 | | - * This have to be completely lowercase; see the "skins" directory for the list |
| | 2121 | + * This has to be completely lowercase; see the "skins" directory for the list |
| 2122 | 2122 | * of available skins. |
| 2123 | 2123 | */ |
| 2124 | 2124 | $wgDefaultSkin = 'vector'; |