Setting the PHP version for CI