From 1225f9bb63e609a168546760ef001c285f791a06 Mon Sep 17 00:00:00 2001
From: Michel Chowanski <michel@chowanski.de>
Date: Fri, 20 Sep 2019 18:58:22 +0200
Subject: [PATCH] Install php redis

---
 Dockerfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 8cdc637..349ffb0 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -14,7 +14,8 @@ RUN apt-get update && apt-get install -y php7.2-fpm \
  php7.2-zip \
  php7.2-mbstring \
  php7.2-amqp \
- php7.2-intl
+ php7.2-intl \
+ php-redis
 
 # configure php fpm
 RUN sed -i -e "s/;date.timezone =.*/date.timezone = 'Europe\/Berlin'/g" /etc/php/7.2/fpm/php.ini && \