Failure/foul-magics
1
0
Fork 0
forked from External/mage
Code Pull requests Releases Packages Activity Actions

Homarid Drake, reprints, and rewriting his or her to their

Browse source
This commit is contained in:
igoudt 2018-03-22 16:52:26 +01:00
parent 03355aee37
commit 00f91391e9
805 changed files with 1553 additions and 1474 deletions
Download patch file Download diff file Expand all files Collapse all files

8
Mage/src/main/java/mage/players/PlayerImpl.java
View file

@ -2313,7 +2313,7 @@ public abstract class PlayerImpl implements Player, Serializable {
Library searchedLibrary = null;
String searchInfo = null;
if (targetPlayerId.equals(playerId)) {
searchInfo = getLogName() + " searches his or her library";
searchInfo = getLogName() + " searches their library";
searchedLibrary = library;
} else {
Player targetPlayer = game.getPlayer(targetPlayerId);
@ -3460,7 +3460,7 @@ public abstract class PlayerImpl implements Player, Serializable {
game.informPlayers(getLogName() + " puts "
+ (withName ? card.getLogName() : (card.isFaceDown(game) ? "a face down card" : "a card"))
+ " from " + fromZone.toString().toLowerCase(Locale.ENGLISH) + ' '
+ (card.getOwnerId().equals(this.getId()) ? "into his or her hand" : "into its owner's hand")
+ (card.getOwnerId().equals(this.getId()) ? "into their hand" : "into its owner's hand")
);
}
result = true;
@ -3555,7 +3555,7 @@ public abstract class PlayerImpl implements Player, Serializable {
.append(" puts ").append(card.getLogName()).append(' ').append(card.isCopy() ? "(Copy) " : "")
.append(fromZone != null ? "from " + fromZone.toString().toLowerCase(Locale.ENGLISH) + ' ' : "");
if (card.getOwnerId().equals(getId())) {
sb.append("into his or her graveyard");
sb.append("into their graveyard");
} else {
sb.append("it into its owner's graveyard");
}
@ -3587,7 +3587,7 @@ public abstract class PlayerImpl implements Player, Serializable {
}
sb.append("to the ").append(toTop ? "top" : "bottom");
if (card.getOwnerId().equals(getId())) {
sb.append(" of his or her library");
sb.append(" of their library");
} else {
Player player = game.getPlayer(card.getOwnerId());
if (player != null) {