PHP中的IntlChar :: isJavaSpaceChar()函数