travis set to PHP5.4+ only