PHP中的gmp_or()函数