Workaround for segmentation fault on PHP 7.3 + opcache#828

mlocati merged 3 commits intophp-imagine:developphp-imagine/Imagine:developfrom

mlocati-forks:segfault-workaroundmlocati-forks/Imagine:segfault-workaroundCopy head branch name to clipboard