PHP中的IntlChar :: isJavaIDPart()函数