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