Added PHP 5.4.23.  Set it as the default.