Thanks for the pointers Bob, that patch does indeed look like a fix for this. I notice there was also a subsequent bugfix for https://bugs.php.net/patch-display.php?bug_id=77612.
Thanks for the pointers Bob, that patch does indeed look like a fix for this. I notice there was also a subsequent bugfix for https:/ /bugs.php. net/patch- display. php?bug_ id=77612.