Fix "double free" bug against overridden function caused by function destructor on PHP 7.2.0+#32

hnw merged 1 commit intomasterhnw/php-timecop:masterfrom

fix-segv-on-php72hnw/php-timecop:fix-segv-on-php72Copy head branch name to clipboard