PHP renderer generator: handle duplicates in translate()
Synced from master
Synced from master