Amending PHP requirement in Travis CI configuration