[travis] Using only php > 5.4