Bug fix #9751 compatability with PHP 5.4.