Change PHP requirement back to PHP 5.4.