/modping is used when immediate moderation is required, but moderators currently tend to make themselves unavailable, so the bot only pings helpers.
This change ensures that at least one moderator is pinged by pinging all online moderators, or all moderators in case none are online, and also pinging all online helpers.
This change is not tested, since I have no testing discord, but the change is quite simple.
/modping is used when immediate moderation is required, but moderators currently tend to make themselves unavailable, so the bot only pings helpers.
This change ensures that at least one moderator is pinged by pinging all online moderators, or all moderators in case none are online, and also pinging all online helpers.
This change is not tested, since I have no testing discord, but the change is quite simple.
Please review, test and merge @elkowar