Fixed PHP-722: Random segfault
Fixed PHP-722: Random segfault
Merge pull request #720 from bjori/PHP-722-random-segfault

Fixed PHP-722: Random segfault

* bjori/PHP-722-random-segfault:
  Fixed PHP-722: Random segfault
Merge branch 'v1.5'

* v1.5:
  Fixed PHP-722: Random segfault