We have applied the October 21 PHP Patch to our managed servers