Added note about PHP 5.4.20