Update php_string.h