diff options
author | Jake Potrebic <[email protected]> | 2024-09-29 16:48:34 -0700 |
---|---|---|
committer | Jake Potrebic <[email protected]> | 2024-09-29 19:13:41 -0700 |
commit | ba3c29b92ec29c8c321f7e6160a4a25f65f18088 (patch) | |
tree | 822022fb0a406a3c23533578de55ab8bcf5bd3e5 /patches/api/0057-Basic-PlayerProfile-API.patch | |
parent | ea00be3aaa1a5727151db9cd82d876613c99e727 (diff) | |
download | Paper-ba3c29b92ec29c8c321f7e6160a4a25f65f18088.tar.gz Paper-ba3c29b92ec29c8c321f7e6160a4a25f65f18088.zip |
Finish converting all events to jspecify annotations
Diffstat (limited to 'patches/api/0057-Basic-PlayerProfile-API.patch')
-rw-r--r-- | patches/api/0057-Basic-PlayerProfile-API.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/patches/api/0057-Basic-PlayerProfile-API.patch b/patches/api/0057-Basic-PlayerProfile-API.patch index 1161dbaabf..1e069d46b5 100644 --- a/patches/api/0057-Basic-PlayerProfile-API.patch +++ b/patches/api/0057-Basic-PlayerProfile-API.patch @@ -247,7 +247,7 @@ index 0000000000000000000000000000000000000000..b4f9ffbebab8eef99dbd81c816c16c27 +} diff --git a/src/main/java/com/destroystokyo/paper/profile/ProfileProperty.java b/src/main/java/com/destroystokyo/paper/profile/ProfileProperty.java new file mode 100644 -index 0000000000000000000000000000000000000000..8f913a078dd692a9feafb98a6e6c9583f3253bd4 +index 0000000000000000000000000000000000000000..8f6240484d12f01bb555972feb0937bc74399a64 --- /dev/null +++ b/src/main/java/com/destroystokyo/paper/profile/ProfileProperty.java @@ -0,0 +1,75 @@ @@ -262,7 +262,7 @@ index 0000000000000000000000000000000000000000..8f913a078dd692a9feafb98a6e6c9583 +/** + * Represents a property on a {@link PlayerProfile} + */ -+public class ProfileProperty { ++public final class ProfileProperty { + private final String name; + private final String value; + private final String signature; |