| Index: trunk/phase3/includes/Setup.php |
| — | — | @@ -261,10 +261,6 @@ |
| 262 | 262 | $wgHiddenPrefs[] = 'realname'; |
| 263 | 263 | } |
| 264 | 264 | |
| 265 | | -if ( !$wgAllowUserSkin ) { |
| 266 | | - $wgHiddenPrefs[] = 'skin'; |
| 267 | | -} |
| 268 | | - |
| 269 | 265 | # Doesn't make sense to have if disabled. |
| 270 | 266 | if ( !$wgEnotifMinorEdits ) { |
| 271 | 267 | $wgHiddenPrefs[] = 'enotifminoredits'; |
| Index: trunk/phase3/includes/DefaultSettings.php |
| — | — | @@ -2261,12 +2261,6 @@ |
| 2262 | 2262 | $wgDefaultSkin = 'vector'; |
| 2263 | 2263 | |
| 2264 | 2264 | /** |
| 2265 | | -* Should we allow the user's to select their own skin that will override the default? |
| 2266 | | -* @deprecated in 1.16, use $wgHiddenPrefs[] = 'skin' to disable it |
| 2267 | | -*/ |
| 2268 | | -$wgAllowUserSkin = true; |
| 2269 | | - |
| 2270 | | -/** |
| 2271 | 2265 | * Specify the name of a skin that should not be presented in the list of |
| 2272 | 2266 | * available skins. Use for blacklisting a skin which you do not want to |
| 2273 | 2267 | * remove from the .../skins/ directory |