fatal error: Zend/zend_ts_hash.h: No such file or directory

[webrobot1]

#include <Zend/zend_ts_hash.h>

I didnt find these header file in php-src https://github.com/php/php-src/tree/6e6e301038284fcfef132f3be85ddc96330e834d/Zend

maybe last time it was separate zend_ts_hash and zend_hash