Manual:$wgSkipSkin/fr

Details
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  directory.

Deprecated since version 1.23. Use instead. For example:

would become