9
0
mirror of https://github.com/LeavesMC/Leaves.git synced 2025-12-23 17:09:26 +00:00

Replay Mod API Complete

This commit is contained in:
violetc
2023-08-07 22:14:57 +08:00
parent c8c4bc30fe
commit cb3c558a6b
2 changed files with 9 additions and 9 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 99a096e52775a58a38540dfd736b0f57236fd488..b27286fbeb4ce148d2c4d890a07d14c221ef7886 100644
index 7203c39190772d4d8159e62367322fe4e3cae8a9..ee35ab3934af19013cfbb1516cc7dffea53d21e7 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 99a096e52775a58a38540dfd736b0f57236fd488..b27286fbeb4ce148d2c4d890a07d14c2
/**
* Represents the Bukkit core, for version and Server singleton handling
@@ -2669,6 +2670,11 @@ public final class Bukkit {
@@ -2721,6 +2722,11 @@ public final class Bukkit {
return server.getBotManager();
}
// Leaves end - Bot API
@@ -29,7 +29,7 @@ index 99a096e52775a58a38540dfd736b0f57236fd488..b27286fbeb4ce148d2c4d890a07d14c2
@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 0bfe5628c8327e9cd5728cea7ae6c2ce1ec9541d..b61151a99ec9d62bc8cf3fa39c71d452dc9964ed 100644
index c952eea7533aeec1c789dbe58673625761b704f6..a88c68c089805dcec131f28c9b3471ba34838b22 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 0bfe5628c8327e9cd5728cea7ae6c2ce1ec9541d..b61151a99ec9d62bc8cf3fa39c71d452
/**
* Represents a server implementation.
@@ -2331,4 +2332,7 @@ public interface Server extends PluginMessageRecipient, net.kyori.adventure.audi
@@ -2382,4 +2383,7 @@ public interface Server extends PluginMessageRecipient, net.kyori.adventure.audi
*/
@NotNull BotManager getBotManager();
// Leaves end - Bot API