Trying out more supported versions of PHP