9
0
mirror of https://github.com/LeavesMC/Leaves.git synced 2025-12-21 15:59:33 +00:00

Update Paper

This commit is contained in:
violetc
2023-12-23 17:17:01 +08:00
parent 1fcd6072e6
commit 9f8513bd78
32 changed files with 133 additions and 147 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 f54403c29005b891377577a36aa79af1365adc31..15f18b4961effe78645e54d0b0cc8c530a807a68 100644
index d3efd7baa57135aafe840f9de06f42b73e1e4447..1c1f1c0c7ef30bde55137bc29564d8ab84dd8437 100644
--- a/src/main/java/org/bukkit/Bukkit.java
+++ b/src/main/java/org/bukkit/Bukkit.java
@@ -59,6 +59,7 @@ import org.jetbrains.annotations.NotNull;
@@ -16,7 +16,7 @@ index f54403c29005b891377577a36aa79af1365adc31..15f18b4961effe78645e54d0b0cc8c53
/**
* Represents the Bukkit core, for version and Server singleton handling
@@ -2839,6 +2840,11 @@ public final class Bukkit {
@@ -2849,6 +2850,11 @@ public final class Bukkit {
return server.getBotManager();
}
// Leaves end - Bot API
@@ -29,7 +29,7 @@ index f54403c29005b891377577a36aa79af1365adc31..15f18b4961effe78645e54d0b0cc8c53
@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 7171f1b4729bf28e6c528c2f1036018a5ffcc895..bb02f2e08597cd9362a587b1c9b442393cc19d54 100644
index c3f30fcf4bafd61331aeffab9539c86a0220f85d..0162f771532a6899a60dc56b2effdd259fd3b2e4 100644
--- a/src/main/java/org/bukkit/Server.java
+++ b/src/main/java/org/bukkit/Server.java
@@ -59,6 +59,7 @@ import org.jetbrains.annotations.Contract;
@@ -40,7 +40,7 @@ index 7171f1b4729bf28e6c528c2f1036018a5ffcc895..bb02f2e08597cd9362a587b1c9b44239
/**
* Represents a server implementation.
@@ -2491,4 +2492,7 @@ public interface Server extends PluginMessageRecipient, net.kyori.adventure.audi
@@ -2499,4 +2500,7 @@ public interface Server extends PluginMessageRecipient, net.kyori.adventure.audi
*/
@NotNull BotManager getBotManager();
// Leaves end - Bot API