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

Update Paper

This commit is contained in:
violetc
2024-04-12 22:56:33 +08:00
parent 30ab09eca6
commit 335f748050
25 changed files with 99 additions and 100 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 ec89e0b3f1a9d304fb5e02f4cc90777dc63d86a8..464c078afb95179027d143ca14d754a002ce9c59 100644
index 824982037eb064d536ac09c303d3bdd225355a6a..7e92a652d47042dec050e4be08b57e2121ccd0bb 100644
--- a/src/main/java/org/bukkit/Bukkit.java
+++ b/src/main/java/org/bukkit/Bukkit.java
@@ -60,6 +60,7 @@ import org.jetbrains.annotations.NotNull;
@@ -16,7 +16,7 @@ index ec89e0b3f1a9d304fb5e02f4cc90777dc63d86a8..464c078afb95179027d143ca14d754a0
/**
* Represents the Bukkit core, for version and Server singleton handling
@@ -2885,6 +2886,11 @@ public final class Bukkit {
@@ -2891,6 +2892,11 @@ public final class Bukkit {
return server.getBotManager();
}
// Leaves end - Bot API
@@ -29,7 +29,7 @@ index ec89e0b3f1a9d304fb5e02f4cc90777dc63d86a8..464c078afb95179027d143ca14d754a0
@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 f0355ec2791772ca20118dda0df82eb2c167e51a..6487dbde351c6f584ca274e5130c2c6e89d32545 100644
index 34196590f64f1c65c691b305b402b888b524c1d7..d465633aab75def37a2b4a9f2a034071970c1dfa 100644
--- a/src/main/java/org/bukkit/Server.java
+++ b/src/main/java/org/bukkit/Server.java
@@ -60,6 +60,7 @@ import org.jetbrains.annotations.Contract;
@@ -40,7 +40,7 @@ index f0355ec2791772ca20118dda0df82eb2c167e51a..6487dbde351c6f584ca274e5130c2c6e
/**
* Represents a server implementation.
@@ -2530,4 +2531,7 @@ public interface Server extends PluginMessageRecipient, net.kyori.adventure.audi
@@ -2536,4 +2537,7 @@ public interface Server extends PluginMessageRecipient, net.kyori.adventure.audi
*/
@NotNull BotManager getBotManager();
// Leaves end - Bot API