mirrors/papermc
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

update B/CB/S

Browse source
This commit is contained in:
Shane Freeder 2018-07-20 20:57:43 +01:00
parent dd66bcb809
commit 1fe8472503
No known key found for this signature in database
GPG key ID: A3F61EA5A085289C
32 changed files with 189 additions and 188 deletions
Download patch file Download diff file Expand all files Collapse all files

6
Spigot-API-Patches/0056-Basic-PlayerProfile-API.patch
View file

@ -1,4 +1,4 @@
From 3d0560ecda8605d6932dd13669f315111764e724 Mon Sep 17 00:00:00 2001
From 2a6044898ccb64c5c3bd65f556ec5e93834917b2 Mon Sep 17 00:00:00 2001
From: Aikar <aikar@aikar.co>
Date: Mon, 15 Jan 2018 21:46:46 -0500
Subject: [PATCH] Basic PlayerProfile API
@ -291,7 +291,7 @@ index c918d67c..01a226d9 100644
public static Server.Spigot spigot()
diff --git a/src/main/java/org/bukkit/Server.java b/src/main/java/org/bukkit/Server.java
index 2d9d68fa..e7aab4bb 100644
index 96044f4b..6c96fc14 100644
--- a/src/main/java/org/bukkit/Server.java
+++ b/src/main/java/org/bukkit/Server.java
@@ -47,6 +47,9 @@ import org.bukkit.generator.ChunkGenerator;
@ -304,7 +304,7 @@ index 2d9d68fa..e7aab4bb 100644
/**
* Represents a server implementation.
*/
@@ -1104,5 +1107,30 @@ public interface Server extends PluginMessageRecipient {
@@ -1107,5 +1110,30 @@ public interface Server extends PluginMessageRecipient {
* @return true if player names should be suggested
*/
boolean suggestPlayerNamesWhenNullTabCompletions();