Docs correction: PHP 5.4 is now required.