| Index: trunk/phase3/includes/DefaultSettings.php |
| — | — | @@ -2677,8 +2677,8 @@ |
| 2678 | 2678 | /** |
| 2679 | 2679 | * Default skin, for new users and anonymous visitors. Registered users may |
| 2680 | 2680 | * change this to any one of the other available skins in their preferences. |
| 2681 | | - * This have completely lowercase, see the "skins" directory for the list of |
| 2682 | | - * available skins. |
| | 2681 | + * This have to be completely lowercase; see the "skins" directory for the list |
| | 2682 | + * of available skins. |
| 2683 | 2683 | */ |
| 2684 | 2684 | $wgDefaultSkin = 'vector'; |
| 2685 | 2685 | |