Use PHP 7.1.18, because Travis defaults to 7.1.11 and it breaks

2026-04-24 17:18:08 +02:00 · 2019-04-18 08:49:51 +02:00
parent 1ed954b7b3
commit 987fb6d75f
1 changed files with 1 additions and 1 deletions
@@ -12,7 +12,7 @@ cache:
 matrix:
  fast_finish: true
  include:
-    - php: 7.1
+    - php: 7.1.18
    - php: 7.1
      env: COMPOSER_FLAGS="--prefer-lowest"
    - php: 7.2