Added PHP 5.5.9 and 5.4.25.  Set 5.4.25 as the new default.