mirror of
https://github.com/jenkinsci/jenkins.git
synced 2026-11-11 02:56:21 +00:00
Merge branch 'JENKINS-14538' of github.com:daniel-beck/jenkins into JENKINS-14538
This commit is contained in:
commit
9e667865ad
22 files changed
+214
-30
No files matched your search
@@ -966,11 +966,13 @@ public class Functions {
|
||||
if (d.getGlobalConfigPage()==null) continue;
|
||||
|
||||
if (d instanceof GlobalConfiguration) {
|
||||
if (predicate.apply(((GlobalConfiguration)d).getCategory()))
|
||||
if (predicate.apply((d.getCategory()))) {
|
||||
r.add(new Tag(c.ordinal(), d));
|
||||
}
|
||||
} else {
|
||||
if (predicate.apply(GlobalConfigurationCategory.get(Unclassified.class)))
|
||||
if (predicate.apply(d.getCategory())) {
|
||||
r.add(new Tag(0, d));
|
||||
}
|
||||
}
|
||||
}
|
||||
Collections.sort(r);
|
||||
|
||||
Reference in new issue
Block a user