chore: require redis php extension (#3690)

2020-03-21 13:30:49 +01:00
parent 5c35aaf24c
commit 1b455d7fe9
12 changed files with 50 additions and 46 deletions
@@ -126,7 +126,7 @@ RUN install-composer.sh
 # Install composer dependencies
 USER monica
 RUN composer global require hirak/prestissimo; \
-    composer install --no-interaction --no-suggest --no-progress --no-dev; \
+    composer install --no-interaction --no-suggest --no-progress --no-dev --ignore-platform-reqs; \
    composer global remove hirak/prestissimo; \
    composer clear-cache; \
    rm -rf .composer