Shorten JSON serialization slightly

MaxWasUnavailable · Feb 18, 2024 · 9272bca · 9272bca
1 parent cfb9eeb
commit 9272bca
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/LobbyCompatibility/Models/PluginInfoRecord.cs b/LobbyCompatibility/Models/PluginInfoRecord.cs
@@ -16,16 +16,16 @@ namespace LobbyCompatibility.Models;
 /// <param name="VersionStrictness"> The version strictness of the plugin. </param>
 [Serializable]
 public record PluginInfoRecord(
-    [property:JsonProperty("id")]
+    [property:JsonProperty("i")]
     string GUID,
 
     [property:JsonProperty("v")]
     [property: JsonConverter(typeof(VersionConverter))]
     Version Version,
 
-    [property:JsonProperty("cl")]
+    [property:JsonProperty("c")]
     CompatibilityLevel? CompatibilityLevel,
 
-    [property:JsonProperty("vs")]
+    [property:JsonProperty("s")]
     VersionStrictness? VersionStrictness
 );