Changed PHP 5.4.2 to 5.4