重命名PlayerAdvancement中的player参数为serverPlayer

2026-04-19 19:45:14 +00:00 · 2026-01-30 09:53:56 +08:00 · 2026-01-30 09:53:56 +08:00 · e132538e8f
commit e132538e8f
parent f6f44d33b2
1 changed files with 1 additions and 1 deletions
--- a/minecraft/src/main/java/com/xujiayao/discord_mc_chat/minecraft/events/MinecraftEvents.java
+++ b/minecraft/src/main/java/com/xujiayao/discord_mc_chat/minecraft/events/MinecraftEvents.java
@ -85,7 +85,7 @@ public class MinecraftEvents {
 	public record PlayerAdvancement(
 			AdvancementHolder advancementHolder,
 			String string,
-			ServerPlayer player,
+			ServerPlayer serverPlayer,
 			AdvancementProgress advancementProgress
 	) {
 	}