Manual:ConvertExtensionToRegistration.php