From a16e146a5bb83b9713b921357386bd3400317168 Mon Sep 17 00:00:00 2001 From: Pedro <3602279+Doc94@users.noreply.github.com> Date: Sun, 14 Aug 2022 12:18:39 -0400 Subject: [PATCH] [ci skip] Show @org.bukkit.UndefinedNullability in javadocs (#8291) --- patches/api/Fix-Spigot-annotation-mistakes.patch | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/patches/api/Fix-Spigot-annotation-mistakes.patch b/patches/api/Fix-Spigot-annotation-mistakes.patch index 51bababe4a..130608aac8 100644 --- a/patches/api/Fix-Spigot-annotation-mistakes.patch +++ b/patches/api/Fix-Spigot-annotation-mistakes.patch @@ -183,6 +183,18 @@ index 0000000000000000000000000000000000000000..00000000000000000000000000000000 ScoreboardManager getScoreboardManager(); /** +diff --git a/src/main/java/org/bukkit/UndefinedNullability.java b/src/main/java/org/bukkit/UndefinedNullability.java +index 0000000000000000000000000000000000000000..0000000000000000000000000000000000000000 100644 +--- a/src/main/java/org/bukkit/UndefinedNullability.java ++++ b/src/main/java/org/bukkit/UndefinedNullability.java +@@ -0,0 +0,0 @@ import java.lang.annotation.RetentionPolicy; + * suggests a bad API design. + */ + @Retention(RetentionPolicy.CLASS) ++@java.lang.annotation.Documented // Paper + @Deprecated + public @interface UndefinedNullability { + diff --git a/src/main/java/org/bukkit/Vibration.java b/src/main/java/org/bukkit/Vibration.java index 0000000000000000000000000000000000000000..0000000000000000000000000000000000000000 100644 --- a/src/main/java/org/bukkit/Vibration.java