Add php sockets ext + bump deps

nbgrp · Aug 2, 2023 · d7d2ad1 · d7d2ad1
1 parent 319cbb4
commit d7d2ad1
Show file tree

Hide file tree

Showing 6 changed files with 167 additions and 163 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -41,6 +41,7 @@ RUN set -ex; \
         opcache \
         pdo_pgsql \
         redis \
+        sockets \
         uuid \
     ; \
     \

diff --git a/tools/phan/composer.lock b/tools/phan/composer.lock
diff --git a/tools/php-cs-fixer/composer.lock b/tools/php-cs-fixer/composer.lock
diff --git a/tools/phpmd/composer.lock b/tools/phpmd/composer.lock