My reaction pretty well matches the one you've gotten from Debian so far:
" Please get the patch merged into PHP upstream and then file a wishlist bug on the php5 package to update it to the latest upstream."
My reaction pretty well matches the one you've gotten from Debian so far:
"
Please get the patch merged into PHP upstream and then file a wishlist
bug on the php5 package to update it to the latest upstream."