如何正确使用PHP中的strtok()函数?