Update php_taint.h