PHP 5.4 related changes