event onPlayerChangeMana (server-side)
Available since version: 0.3.0
Triggered when player mana changes.
Parameters
void onPlayerChangeMana(int player_id, int previous, int current)
intplayer_id: The id of the player whose mana points got changed.intprevious: The previous mana points of the player.intcurrent: The current mana points of the player.