diff --git a/src/main/java/io/jenkins/plugins/customizable_header/UserHeader.java b/src/main/java/io/jenkins/plugins/customizable_header/UserHeader.java index 9b77200..834347a 100644 --- a/src/main/java/io/jenkins/plugins/customizable_header/UserHeader.java +++ b/src/main/java/io/jenkins/plugins/customizable_header/UserHeader.java @@ -112,5 +112,16 @@ public boolean isEnabled() { public String getDisplayName() { return "Customizable Header"; } + + // @Override + // public @NonNull UserPropertyCategory getUserPropertyCategory() { + // return UserPropertyCategory.get(UserPropertyCategory.Appearance.class); + // } + + // replace with above method when bumping core to version including: + // https://github.com/jenkinsci/jenkins/pull/7268 + public @CheckForNull String getUserPropertyCategoryAsString() { + return "appearance"; + } } }