[PHP-DEV] Bug #72489 - PHP7 Segfault

[Kev]

Hi.
Apologies in advance if this post is inappropriate but I would appreciate it if 
someone could take a look at bug 72489 as it is preventing us from adopting PHP 
7:
https://bugs.php.net/bug.php?id=72489

Thanks.
Kev.