update 3rd party libraries (php 7.1 compat)

julienbornstein · May 2, 2024 · 7416901 · 7416901
1 parent 2117617
commit 7416901
Show file tree

Hide file tree

Showing 3 changed files with 781 additions and 431 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -0,0 +1,8 @@
+FROM php:7.1-cli
+
+RUN apt-get update
+RUN apt-get install -y zip unzip curl git
+RUN php -r "copy('https://getcomposer.org/installer', 'composer-setup.php');"
+RUN php composer-setup.php --install-dir=/usr/bin --filename=composer
+RUN php -r "unlink('composer-setup.php');"
+
diff --git a/composer.json b/composer.json
@@ -30,7 +30,7 @@
     "jakub-onderka/php-console-highlighter": "^0.4.0",
     "jakub-onderka/php-parallel-lint": "^1.0",
     "phpmd/phpmd": "^2.10",
-    "phpstan/phpstan": "^0.12.87",
+    "phpstan/phpstan": "^1.4",
     "phpunit/phpunit": "^7.4",
     "squizlabs/php_codesniffer": "^3.5",
     "symfony/var-dumper": "^4.3"