mod/hotpot fix hotpot_update_grades() is not defined message from hotpot upgrade script