fix deprecated has_key()
fix deprecated has_key()

henryyang42/NTHUOJ_web,geniusgordon/NTHUOJ_web,geniusgordon/NTHUOJ_web,nthuoj/NTHUOJ_web,geniusgordon/NTHUOJ_web,bruce3557/NTHUOJ_web,bruce3557/NTHUOJ_web,henryyang42/NTHUOJ_web,henryyang42/NTHUOJ_web,nthuoj/NTHUOJ_web,nthuoj/NTHUOJ_web,bruce3557/NTHUOJ_web