Translations:Manual:ConvertExtensionToRegistration.php/16/en

Whether to write to skin.json; use this option for converting a skin!