HyperScript 1.7.26

Players who are not online, written the short way.

Added

• "Progamer52" as offlineplayer is that player, online now or not. If they have played on the server, the name comes back written the way the server has it ("progamer52" gives Progamer52); a name that has never joined stays as written, and has not played before tells the two apart. as offline player, parsed as offlineplayer and parse ... as offlineplayer mean the same.
• uuid of <who> is a player's id, for someone offline too.
• name of <who> now also works for someone offline.
• all offline players is a list of everybody who has ever played on the server.
• The documentation has a new part, Offline players, that says what works for someone who is away (their variables, balance, first join, last seen, bans) and what needs them online.