Provide `php_next_utf8_char` for older PHPs that don't have it.