update dev-environment to use more recent versions, requries php-7.3 now (dev-only)

Signed-off-by: Michael Kaufmann <d00p@froxlor.org>
This commit is contained in:
Michael Kaufmann
2019-06-06 10:18:03 +02:00
parent 0afbe3d13b
commit d8a8f76dc9
11 changed files with 439 additions and 502 deletions

View File

@@ -4,8 +4,8 @@ php:
# - "5.4"
# - "5.6"
# - "7.0"
- "7.1"
# - "7.2"
# - "7.1"
- "7.3"
branches:
only:
@@ -18,7 +18,7 @@ matrix:
# env: deps=highest
# - php: 5.4
# env: deps=lowest
- php: 7.1
- php: 7.3
env: deps=highest
mysql: