
s = s.replace("<@"+mention.getId()+">","@" + mention.getName());
</BUG>
String nick = (mention.getNickname(serverID) != null) ? mention.getNickname(serverID) : mention.getName();
<BUG>s = s.replace("<@!"+mention.getId()+">","@" + nick);
</BUG>
}
return TextUtil.formatDiscordMessage(s);
}
public static Text formatUrl(String message) {

s = s.replace("%r", roleName);
String game = message.getAuthor().getGame();
if (game != null) s = s.replace("%g", game);
s = String.format(s, message.getContent());
for (User mention : message.getMentions()) {
s = s.replace("<@" + mention.getId() + ">", "@" + mention.getName());
String nick = (mention.getNickname(serverID) != null) ? mention.getNickname(serverID) : mention.getName();
s = s.replace("<@!" + mention.getId() + ">", "@" + nick);
}
return TextUtil.formatDiscordMessage(s);
}
public static Text formatUrl(String message) {
