Mention PHP 5.4