extend /admins [online|o] [count|c] <-- akin to /players

[KeepResearchinSpoons]

extend /admins command with optional [online|o] [count|c] modifiers, much like /players works.

((I am against /a shortcut (players -> p) however, /admin is a better candidate for /a if anything, let alone other third party tools))

Why

functionally, /admins outputs players-in-the-map-data filtered for .admin == true;

This is a Biter Battles community server, as per example of how it looks today with [1.1.80].

f-forums_2023-07_admins_list.png (103.22 KiB) Viewed 1127 times

Reloading a server after each team-X-won is implausible. "soft reload" for map resets means "old" player-data is still present.
((`/p c` is about 1000 rn I guess))
Yet, see, how tall is it? And there is no "spoiler" in the chat window!


But what is arguably often needed is more of "any admins over there RIGHT NOW??".
Vertical space on chat is quite of value. And even more so when you only want to find "(online)" ones! (see, these aren't even color-coded, ewe)
Would be neat to have player lists for both "/players" and "/admins" work-and-feel the same way, right?
A small fix-step for a man is a huge fix-leap for the community!

I know, MP direction might not be the top priority; and chat might need quite some LOVE in general; but this one seems like getting fair value for a fair price/effort.
And I hope it would be quite as easy as porting the "/players" logic over.


Keep up the good work! (and blessed be all the community admins here and there)

[Klonan]

I will move this to modding interface requests as it feels more appropriate

[curiosity]

I will move this to modding interface requests as it feels more appropriate

How is that? This is not modding, but built-in commands for players.

Unless you want to expose these things in the API?

[Rseding91]

Ok, I added this for 1.2.