strtok() is considered for deprecation in https://wiki.php.net/rfc/deprecations_php_8_4#deprecate_strtok_function
whether or not this it accepted, we shouldn't use this function, for the same reasons that it might be considered: this is a stateful function.

We should do this on branch 5.4, same as we do when fixing php-src deprecations.