9
0
mirror of https://github.com/LeavesMC/Leaves.git synced 2025-12-28 19:39:22 +00:00

Update Paper

This commit is contained in:
violetc
2023-08-23 13:24:24 +08:00
parent 8e737d4606
commit 1da94abde2
47 changed files with 268 additions and 207 deletions

View File

@@ -5,7 +5,7 @@ Subject: [PATCH] Replay Mod API
diff --git a/src/main/java/org/bukkit/Bukkit.java b/src/main/java/org/bukkit/Bukkit.java
index 7203c39190772d4d8159e62367322fe4e3cae8a9..ee35ab3934af19013cfbb1516cc7dffea53d21e7 100644
index 63d9d30a11eecb872fe64f04ef7fe5d16f0afa3e..d688290ffbeb27a576cdcce1080b439e2c577d7b 100644
--- a/src/main/java/org/bukkit/Bukkit.java
+++ b/src/main/java/org/bukkit/Bukkit.java
@@ -58,6 +58,7 @@ import org.jetbrains.annotations.NotNull;
@@ -16,7 +16,7 @@ index 7203c39190772d4d8159e62367322fe4e3cae8a9..ee35ab3934af19013cfbb1516cc7dffe
/**
* Represents the Bukkit core, for version and Server singleton handling
@@ -2721,6 +2722,11 @@ public final class Bukkit {
@@ -2763,6 +2764,11 @@ public final class Bukkit {
return server.getBotManager();
}
// Leaves end - Bot API
@@ -29,7 +29,7 @@ index 7203c39190772d4d8159e62367322fe4e3cae8a9..ee35ab3934af19013cfbb1516cc7dffe
@NotNull
public static Server.Spigot spigot() {
diff --git a/src/main/java/org/bukkit/Server.java b/src/main/java/org/bukkit/Server.java
index c952eea7533aeec1c789dbe58673625761b704f6..a88c68c089805dcec131f28c9b3471ba34838b22 100644
index 0b58392263898b4ef7eba8a082cddf74d3c7cd82..9de03cb5217bd9ac73484e1121768bce7429aac7 100644
--- a/src/main/java/org/bukkit/Server.java
+++ b/src/main/java/org/bukkit/Server.java
@@ -58,6 +58,7 @@ import org.jetbrains.annotations.Contract;
@@ -40,7 +40,7 @@ index c952eea7533aeec1c789dbe58673625761b704f6..a88c68c089805dcec131f28c9b3471ba
/**
* Represents a server implementation.
@@ -2382,4 +2383,7 @@ public interface Server extends PluginMessageRecipient, net.kyori.adventure.audi
@@ -2422,4 +2423,7 @@ public interface Server extends PluginMessageRecipient, net.kyori.adventure.audi
*/
@NotNull BotManager getBotManager();
// Leaves end - Bot API