The entrypoint needs to check if Redis is enabled. If it is, 1. Set Redis as the de facto PHP session handler. 2. Inject the Redis password into the php.ini.