registration: Add --config-prefix to convertExtensionToRegistration.php