diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2019-07-12 13:12:56 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-07-12 13:14:24 +0200 |
commit | 709897c2a574c8f946c12b90989a3ba464b535cf (patch) | |
tree | 6b63e391aaba389b122caeb13ae555a3dd8b6ed8 /main/php.h | |
parent | 94d37a5dd7bc493de0842f8f704706bf13b57918 (diff) | |
download | php-git-709897c2a574c8f946c12b90989a3ba464b535cf.tar.gz |
Remove unused tsrm_strtok_r() function
There is also a php_strtok_r() function, which is actually used,
but nothing uses the tsrm_strtok_r() variant...
Diffstat (limited to 'main/php.h')
0 files changed, 0 insertions, 0 deletions