chore: temporary workaround for DIP17 plugins

This commit is contained in:
goat 2022-08-05 20:00:45 +02:00
parent 98e421a227
commit 530f2a8b66
No known key found for this signature in database
GPG key ID: 49E2AA8C6A76498B
2 changed files with 25 additions and 1 deletions

View file

@ -181,4 +181,17 @@ internal record PluginManifest
/// Gets a message that is shown to users when sending feedback.
/// </summary>
public string? FeedbackMessage { get; init; }
/// <summary>
/// Gets a value indicating whether this plugin is DIP17.
/// To be removed.
/// </summary>
[JsonProperty("_isDip17Plugin")]
public bool IsDip17Plugin { get; init; } = false;
/// <summary>
/// Gets the DIP17 channel name.
/// </summary>
[JsonProperty("_Dip17Channel")]
public string? Dip17Channel { get; init; }
}