PHP 5.4.24 (to be released Jan 9th)