Added note about requirement of PHP 5.4.