Add the versions of PHP we should support