https://bugs.php.net/patch-display.php?bug_id=63682&patch=bug63682.patch&revision=latest
PHP :: Bug #63682 :: Patches
phpbugpatches
https://bugs.php.net/bug.php?id=63682&edit=1
PHP :: Bug #63682 :: Use get_gc instead of hack of get_properties
phpbugusegetgc