From 61a08454ae47a1e3870d5eb057116f0c60fed687 Mon Sep 17 00:00:00 2001
From: Anton Komarev <ell@cybercog.su>
Date: Thu, 30 Mar 2023 22:09:38 +0300
Subject: [PATCH] Format dev PHP extensions as prod

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

diff --git a/Dockerfile b/Dockerfile
index 4977f13..389e4de 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -114,7 +114,9 @@ RUN rm "$PHP_INI_DIR/conf.d/app.prod.ini"; \
 COPY --link docker/php/conf.d/app.dev.ini $PHP_INI_DIR/conf.d/
 
 RUN set -eux; \
-	install-php-extensions xdebug
+	install-php-extensions \
+    	xdebug \
+    ;
 
 RUN rm -f .env.local.php