Knowing that Ondřej Surý keeps legacy versions of PHP, there's a non-zero chance that he manually backported the fixes