mirror of
https://github.com/jenkinsci/jenkins.git
synced 2026-11-06 16:45:58 +00:00
Combine into one format string with escaped format placeholder
This commit is contained in:
1 parent
5551fc91f2
commit
f925849ca7
5 files changed
+16
-25
No files matched your search
@@ -117,6 +117,7 @@ import java.net.URLEncoder;
|
||||
import java.nio.charset.StandardCharsets;
|
||||
import java.text.DateFormat;
|
||||
import java.text.DecimalFormat;
|
||||
import java.text.MessageFormat;
|
||||
import java.time.ZoneId;
|
||||
import java.time.ZonedDateTime;
|
||||
import java.time.format.DateTimeFormatter;
|
||||
@@ -2505,4 +2506,9 @@ public class Functions {
|
||||
|
||||
return keyboardShortcut.replace("CMD", useCmdKey ? "⌘" : "CTRL");
|
||||
}
|
||||
|
||||
@Restricted(NoExternalUse.class)
|
||||
public static String formatMessage(String format, Object args) {
|
||||
return MessageFormat.format(format, args);
|
||||
}
|
||||
}
|
||||
Reference in new issue
Block a user