grep -e "^session\.save" /etc/php/7.3/fpm/php.ini
session.save_handler = redis
session.save_path = "/var/run/redis/redis-server.sock"

こんな感じでいけたな。WebDAVも問題なし。
Ubuntu 18.10