I would like to access a Redis server from inside a PHP serverless function but I have no way of accessing Redis or adding the php redis extension to be able to do so.

How can we add Redis support to the PHP being used inside our functions?