Manual:$wgSkipSkin

From mediawiki.org
Skins: $wgSkipSkin
Specify the name of a skin that should not be presented in the list of available skins.
Introduced in version:1.4.1
Deprecated in version:1.23.0 (Gerrit change 113341; git #c5b5e450)
Removed in version:1.35.0 (Gerrit change 560354; git #d50b9592)
Allowed values:(string)
Default value:''

Details[edit]

Specify the name of a skin that should not be presented in the list of available skins. Use for blacklisting a skin which you do not want to remove from the skins directory.

(deprecated in 1.23) Use $wgSkipSkins instead. For example:

$wgSkipSkin = "cologneblue";

would become

$wgSkipSkins[] = "cologneblue";