Aliases for all players

[Mathias]

A plugin similar to this one (https://forum.cuberite.org/showthread.php?tid=1945), that allows administrators to set aliases for all players on the server.

[NiLSPACE]

Perhaps it could be implemented right in the Aliases plugin with a command like "alias global ...". Then when a command is executed it first checks if the user has it's own alias available, and then if there is a global alias.

[xoft]

I, too, think that the current Alias plugin should be extended with this functionality, rather than creating a new plugin. It shouldn't be that much of a hassle, I'd even say it's an easy task
The only problem that would need solving is collisions - what if a player sets their alias for "foo", and then admin sets a global alias for "foo" - should the player's alias take precedence for that player, or should it be erased?