#`function` setPlayerMana ::: src.pyg2o.functions.player.setPlayerMana